Hi!
I have a repro in which I want to push changes. I want to sync two repositories: ./pages.git into ./pages. My git setup on my development machine pushes into pages.git. But the web-application works with ./pages.
git clone pages.git pages
fatal: destination path 'pages' already exists and is not an empty directory.
Well now I delete the pages directory and git clone works. But that's not the clean solution, isn't it?
Is there any way to do that without having to delete the pages directory manually? I'd like to automate that process so that git automatically performs the actions whenever I push.
Best, Marius