On Tue, 24 Apr 2018, Sven Schreiber wrote:
(When will I ever become comfortable with git, this would be an
easy fix...?)
Following up on the second point in Sven's posting. Git is really
pretty simple. Here's a capsule guide for anyone wanting to modify a
single file.
1. Ensure your local copy is up to date. _Always_ do this first to
avoid grief later:
git pull
2. Edit the file of interest and save your changes.
3. If you're at all unsure that you made the changes you really
intended, take a look:
git diff
4. If that's OK, register your changes locally:
git commit -a # or instead of "-a", a specific filename
5. Then push your modification to sourceforge:
git push
6. To double-check that all is OK:
git status
You should see:
"Your branch is up-to-date with 'origin/master'.
nothing to commit, working tree clean"
Summary: git pull, edit, git commit, git push
Allin