kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

reorganize contribution guide #171

Closed palmskog closed 4 months ago

palmskog commented 4 months ago

Currently, the contribution guide is very difficult to read, not least because of a lack of structure. Here, I reorganize the items in the guide under more reasonable headings. In particular, "topic branch" is the preferred terminology for branches used for fixes and features: https://git-scm.com/book/en/v2/Git-Branching-Branching-Workflows

The part about CI comments seemingly doesn't apply anymore (there are no automatic comments in PRs), so I removed it.