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

AttributeError: 'Feed' object has no attribute 'contenty_type' (solved)

overlay filesystem and containers