diff options
| -rw-r--r-- | site/download/index.php | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/site/download/index.php b/site/download/index.php index f1ed4df..4f90252 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -242,11 +242,22 @@ $ <b>git status</b> </p> <p> + Make sure to update all relevant copyright license headers. In source files or scripts, + these are usually mentioned at the top, or at the bottom in documentation. + Releasing your change under the same license + that the original file used is usually simpler. If you are submitting new files, make + sure to use a free license (note: the <?php echo $lbProjectName; ?> will not accept + documentation under the GNU Free Documentation License, because we do not want to endorse + or support the Invariant clauses that this license allows. Changes submitted under this + license will be rejected, even if it contains no Invariant sections). + </p> + <p> The status command will show any untracked files that you have. Add them using <b>git add path/to/file</b>. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use <b>git rm path/to/file</b>. As long as you have added all the untracked files, it is generally easier to use:<br/> - $ <b>git commit -a</b> + $ <b>git commit -a</b><br/> + (instead of <b>git commit</b>) </p> <p> If you need to make a change to the current commit, you can do so with:<br/> |