h-vetinari wrote: > Because I don't know of any better way to commandeer a patch in GitHub
As a maintainer, you can push into this branch (unless @ThePhD unchecked the default setting when creating the PR), including forcefully. For example (you could also use the github CLI, but I'm using vanilla git to demo): ``` git remote add ThePhD https://github.com/ThePhD/llvm-project git fetch ThePhD git checkout thephd/embed-speed # git will tell you you've got this branch, tracking the ThePhD remote # do changes git push ThePhD # add `-f` if you've modified the existing commits, e.g. via rebase ``` https://github.com/llvm/llvm-project/pull/68620 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
