1
0
mirror of https://github.com/PDP-10/its.git synced 2026-01-11 23:53:12 +00:00

Add to contribution guidelines.

This commit is contained in:
Lars Brinkhoff 2018-03-12 12:22:37 +01:00 committed by Eric Swenson
parent 85994ed770
commit 419b2258b8

View File

@ -17,3 +17,9 @@
image.
- Do use the git history rewriting operations to modify pull request.
- Prefix temporary branch names with your username and `/`.
- When making a major change to a versioned ITS file, rename the file
and increase the version number. Do not keep the old version. This
way, it's easier to see the diff in the revision log.