yade-users team mailing list archive
-
yade-users team
-
Mailing list archive
-
Message #19336
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
Robert Caulk proposed the following answer:
Yes, absolutely :-). Yade recently migrated to gitlab where developers
push to branches and then "merge request" those branches into Yade.
Other developers review the merge request and then accept it if it looks
OK. Details of how to do this can be found here [1].
[1]https://yade-dev.gitlab.io/trunk/github.html#pushing-changes-to-
remote-repository
--
You received this question notification because your team yade-users is
an answer contact for Yade.