Closed freedom1b2830 closed 4 months ago
Thanks for rebasing. There were no changes found by any of the sediffs.
For future reference, if you do git push --force
after making a local change, it will update your branch on GitHu, and in turn the PR.
Due to my lack of understanding of how to work github using gh(https://cli.github.com/) (how to notify an open pull request about a rebase), I decided to create a new Pull Request