The generate-authors workflow currently rewrites history by smashing the AUTHORS changes into the latest commit and then force-pushing to the branch.
That's a tidbit ugly, not actually true history wise and makes it annoying when you need to push additional changes since local and remote history have now diverged.
It would be nice to change this to being a separate commit. In most cases we squash-merge PRs anyway so the end result after the merge will be the same.
The generate-authors workflow currently rewrites history by smashing the AUTHORS changes into the latest commit and then force-pushing to the branch.
That's a tidbit ugly, not actually true history wise and makes it annoying when you need to push additional changes since local and remote history have now diverged.
It would be nice to change this to being a separate commit. In most cases we squash-merge PRs anyway so the end result after the merge will be the same.