As a policy, let us reduce/avoid the use of the develop branch for this project BECAUSE:
This is a small project with very few developers and small code base; let's keep simple and well in sync, just in the master branch.
The separation of develop and master doesn't make much sense anyway with this project, as there is more a logical separation between models versus actual checker.
THIS IS CRAZY :-), but we have had reviewers for another project who were unfavorable of our submitted paper because they thought that there is no recent activity in the project because, by default, one sees activity in the master branch when getting to a project on github.
DerMusicus
commented
8 years ago
/cc @MarcelH91 @AndrEm12
As a policy, let us reduce/avoid the use of the develop branch for this project BECAUSE: