yade-users team mailing list archive
-
yade-users team
-
Mailing list archive
-
Message #19620
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
Janek Kozicki proposed the following answer:
> 2. Merge request from a repository of my own. Requires to have "group
runners"
I can help with that. Please give me the registration token for your
runners. I will add a runner for you. See https://gitlab.com/yade-
dev/trunk/merge_requests/112
You also need to add a tag "fast" after I add this runner for you.
--
You received this question notification because your team yade-users is
an answer contact for Yade.
Follow ups