summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
Diffstat (limited to 'site')
-rw-r--r--site/download/index.php13
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/>