You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ingo Mohr edited this page Jun 22, 2013
·
2 revisions
The repository has been initially created in March 2013.
In June it has been removed and recreated from the files pushed upstream and/or committed to the local git repo.
The remote repo has been recreated due to a "packer error" which prevented any push to upstream from working successfully.
Reason: As it turned out during repopulating the remote repo, one of the projects contained a .git folder which was not supposed to be there. I cannot tell exactly whether that was the problem, but after removing that folder the push-to-upstream worked fine.