Closed stoecker closed 5 years ago
On Wed, 7 Nov 2018, Stephan Kulow wrote:
Sorry - I'm surely not a role model when it comes to writing commit logs
- but 'makecmd' is even for me too vague. Your PR summary is already good enough, so please amend and force push
Well, now I have three useless merge commits and I have no idea how to get rid of these.
Ciao -- http://www.dstoecker.eu/ (PGP key available)
git rebase -i and then replace possible 'pick' in all but the first line with f
git rebase -i origin/master (if you have origin point here as I have :)
don't worry - I just remembered github can squash PRs
don't worry - I just remembered github can squash PRs
How?
it's an option on merging
Sorry - I'm surely not a role model when it comes to writing commit logs - but 'makecmd' is even for me too vague. Your PR summary is already good enough, so please amend and force push