From 665da1624244320f285cc94a236c9d7cd8e54451 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Sat, 28 Feb 2015 15:48:17 -0500 Subject: Please do not use the GNU Free Documentation License. Thank you. --- (limited to 'site') 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 @@ $ git status

+ 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 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). +

+

The status command will show any untracked files that you have. Add them using git add path/to/file. 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 git rm path/to/file. As long as you have added all the untracked files, it is generally easier to use:
- $ git commit -a + $ git commit -a
+ (instead of git commit)

If you need to make a change to the current commit, you can do so with:
-- cgit v0.9.1