yade-users team mailing list archive
-
yade-users team
-
Mailing list archive
-
Message #19590
Re: [Question #679544]: Best way to fix typos in documentation: source edit + git push?
Question #679544 on Yade changed:
https://answers.launchpad.net/yade/+question/679544
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.
Bruno
--
You received this question notification because your team yade-users is
an answer contact for Yade.
Follow ups