[sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #12, sr #110065 (project administration): [comment #9 comment #9:] > What about gitlab? Thats were we have the CI infrastructure... I'm not sure what CI infrastructure is... is it a SaaSS? ___ Reply to this item at:

[sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #10, sr #110065 (project administration): Yesterday I learned that the other way to create a gitlab mirror of a Savannah repository https://docs.gitlab.com/ee/user/project/repository/repository_mirroring.html#pulling-from-a-remote-repository-starter MAY still be available for

[sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #9, sr #110065 (project administration): Hmm, that's bad (the proprietary javascript in github). What about gitlab? Thats were we have the CI infrastructure... ___ Reply to this item at:

[sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #8, sr #110065 (project administration): I believe GitHub requires using proprietary JavaScript in order to register an account. I don't think we may do that on behalf of Savannah. ___ Reply to this item at:

[sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #7, sr #110065 (project administration): Yes, that should work. Gitlab has the notion of "API tokens" but I don't know whether they allow "git push". ___ Reply to this item at:

[sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #6, sr #110065 (project administration): Hi ineiev. As far as I can see we would need: 1. Savannah to open an account in github.com and gitlab.com, registering a public ssh key in both sites. 2. I will give savannah write access to the poke repos there. 3. You install

[sr #110065] Enable mirroring for poke.git in github

Update of sr #110065 (project administration): Status:None => Need Info Assigned to:None => ineiev ___ Follow-up Comment #5: No files in

[savannah-help-public] [sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #4, sr #110065 (project administration): ping ___ Reply to this item at: ___ Message sent via Savannah

[savannah-help-public] [sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #3, sr #110065 (project administration): Yes, that's the idea. ___ Reply to this item at: ___ Message sent via Savannah

[savannah-help-public] [sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #2, sr #110065 (project administration): Oh indeed! But then... I guess the gitlab.com/gnu-poke/ci-distcheck repo should be populated with the full poke repo? I can add .gitlab-ci.yml in poke.git :) Lets do that! ___

[savannah-help-public] [sr #110065] Enable mirroring for poke.git in github

Follow-up Comment #1, sr #110065 (project administration): Only to github? If you do the same thing also with gitlab, you could have the CI integration on gitlab send you a mail within 10 minutes after a wrong commit. ___ Reply to this

[savannah-help-public] [sr #110065] Enable mirroring for poke.git in github

URL: Summary: Enable mirroring for poke.git in github Project: Savannah Administration Submitted by: jemarch Submitted on: Sun 20 Oct 2019 09:40:48 PM UTC Category: Source