← 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

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