github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-05-05 07:34:12 +00:00
Code Issues Releases Wiki Activity

Update contribution guidelines.

Browse Source 
- Add new programs to programs.md.
- Explain that people may make branches in this repository.
- Wait for approval before merging a pull request.
This commit is contained in:
Lars Brinkhoff
2018-03-26 14:05:37 +02:00
parent 9e869769cf
commit 61687e22f0
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
CONTRIBUTING.md
View File

@@ -16,10 +16,18 @@
README files in the repository, and files put into the ITS disk README files in the repository, and files put into the ITS disk
image. image.
If you add a new program, update doc/programs.md.
- Do use the git history rewriting operations to modify pull request. - Do use the git history rewriting operations to modify pull request.
- Prefix temporary branch names with your username and `/`. - Prefix temporary branch names with your username and `/`. Users in
the PDP-10 group can make branches in the repository if they like.
- When making a major change to a versioned ITS file, rename the file - 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 and increase the version number. Do not keep the old version. This
way, it's easier to see the diff in the revision log. way, it's easier to see the diff in the revision log.
- Users in the PDP-10 group can merge pull requests themselves.
However, please wait for someone to make a review and approve the
changes. You can explicitly request a review from someone in the
group.