Skip to content

Have CI push branches with generated code

D3M bot requested to merge ci-dist-branches into devel

This requires:

  • GIT_ACCESS_USER and GIT_ACCESS_TOKEN be set on the project's pipeline settings (from some user who can push to the repository)
  • Be careful if you check "protected", meaning is different than GitHub's, it will require the devel and master branches to be protected branches
  • The 6 branches {dev-,}dist-{golang,javascript,python} have to be created (can be orphaned, just need an empty .gitlab.yml, for example this revision
  • This is complicated, I don't know if we want it at all (but it does work)

Closes #12 (closed)

Merge request reports