Closed tjtelan closed 2 years ago
More reliable merging of commits using git reset
git reset
Github Actions needs to push with force
bors r+
Pull request successfully merged into main.
Build succeeded:
More reliable merging of commits using
git reset
Github Actions needs to push with force