On Wed Sep 6 20:13:16 2023 +0000, Etaash Mathamsetty wrote:
btw your pull request isn't squashed and then merged, you have to squash all the commits into one (since this is just a single stub). To avoid merge commits use git rebase rather than git merge
ah ok