← Back to team overview

yade-users team mailing list archive

Re: [Question #679544]: Best way to fix typos in documentation: source edit + git push?


Question #679544 on Yade changed:

    Status: Open => Answered

Bruno Chareyre proposed the following answer:
Hi Gaël,
Thanks vey much for contributing.
Yes you can write emails to yade-dev.
It would be very helpful if you could try method [1] (gitlab), especially if you plan to change more later,  and it should not be a big deal.
Assuming you are working on source code pulled from the gitlab repository (else send use the result of "git remote -v"):

cd trunk
git status #list which files you have modified
git commit file1 file2 file3 #the files you changed
git pull --rebase
git push origin master:fixtypo

Here "fixtypo" is the name of the new branch that will be created.


You received this question notification because your team yade-users is
an answer contact for Yade.

Follow ups