Pull requests Issue
RobbyChen2001 opened this issue · 0 comments
RobbyChen2001 commented
I basically made a new Project and push it to this repo, and git does not allow me to pull requests because this branch has a different commit history.
One solution I could do is just force merge