After fork, what branch to modify to do pull requests from?

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project

GNU General Public License v2.0

72 stars 25 forks source link

After fork, what branch to modify to do pull requests from? #50

Closed billh0420 closed 3 years ago

billh0420 commented 3 years ago

I forked the repository and made a local copy in my Eclipse IDE. What branch should I modify? Is it master, dev_build, develop or something else? Are these other branches kept in sync with the master branch?

digama0 commented 3 years ago

I think master is the most up to date. dev-build contains build artifacts and should not be modified, and I don't think develop is still being used.