Am 29.04.2018 um 20:42 schrieb Allin Cottrell:
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.
Thanks for this git-for-dummies guide.
5. Then push your modification to sourceforge:
git push
And what should be done to make a proposed patch known but not apply
/push it right away? Something like: check if this would be OK.
thanks,
sven