On Mon, 19 Oct 2020 at 14:24, Uwe Schindler <u...@thetaphi.de> wrote:
> Nice possibility on top: You can force push as often as you like! ☕🤣 > Up until the point you create a PR. After that, I think it gets confused and doubles the entries. Unless I messed up one of my PRs even worse than I thought. +1 on doing changes in the personal fork of the repo. Regards, Alex.