Generation

gitThu, 17 Nov 2022

remove the last push from github

git push origin +<branch> --force

Questions about programming?Chat with your personal AI assistant