push detached head with git

 if you are in detached HEAD in local development and you want to push changes to remote repo

git push origin HEAD:master

Comments

Popular posts from this blog

Pyppeteer fix for BrowserError: Browser closed unexpectedly

overlay filesystem and containers

How to add pagination to django comments for your model