← 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:
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.