Changes between Version 81 and Version 82 of DevWikiComitGuidelines

Timestamp:

Feb 19, 2022, 3:13:35 PM (2 years ago)

Author:

robe

Comment:

—

DevWikiComitGuidelines

@@ -45 +45 @@
     2. Add a bug reference like "#1232" at the beginning or end of commit log entries when committing changes related to a ticket in Trac. The '#' character enables Trac to create a hyperlink from the changeset to the mentioned ticket. 
        For small changes where there is no ticket and there is a pull request or patch, reference to these e.g. github/gitlab/gitea pull request link is sufficient
-    3. If you are given a patch or pull request from a community person, note their name in both the commit log entry and NEWS file.
+    3. We allow contributions via patches (on trac or via mailing lists) or pull requests from our primary or [CodeMirrors git mirrors].  If you are given a patch or pull request from a community person, note their name in both the commit log entry and NEWS file.
     4. To close a ticket or pull request you can add to your commit log  Closes #[xyz]  where xyx is the trac ticket, or  Closes [link to pull request].  Our trac system has a hook to automatically close these on trac and our git mirrors. **DO NOT USE THE MERGE BUTTON** on pull requests.
        Do instead to merge changes into your local git and then push to our primary repo. This can be done using git merge or using the git patch link of the pull request (on all systems it's the git pull url with .patch or .diff at the end) and applying the patch.