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

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.

Follow ups