yade-users team mailing list archive
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:
Thanks vey much for contributing.
Yes you can write emails to yade-dev.
It would be very helpful if you could try method  (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"):
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.