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:
Janek Kozicki proposed the following answer:
> 2. Merge request from a repository of my own. Requires to have "group
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-
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.