Savannah Administration - Support: sr #110065, Enable mirroring for poke.git in...

Group

Main
- Main
- View members
- Search
Homepage
Download
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
Tasks
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

sr #110065: Enable mirroring for poke.git in github

Submitter:	Jose E. Marchesi <jemarch>
Submitted:	Sun 20 Oct 2019 09:40:48 PM UTC


Category:	Source code repositories - developer access	Priority:	5 - Normal
Severity:	3 - Normal	Status:	Need Info
Privacy:	Public	Assigned to:	ineiev
Operating System:	None	Open/Closed:	Open

* Mandatory Fields

Add a New Comment Rich Markup

Jump to the original submission

Mon 23 Jan 2023 08:48:28 AM UTC, comment #12: comment #9: > What about gitlab? Thats were we have the CI infrastructure... I'm not sure what CI infrastructure is... is it a SaaSS?	Ineiev <ineiev>
Thu 26 Mar 2020 12:01:13 AM UTC, comment #11: The other way to create a gitlab mirror of a Savannah repository is no longer available at 0 cost from GitLab. See https://about.gitlab.com/releases/2020/03/12/free-period-for-cicd-external-repositories/	Bruno Haible <haible>
Sun 12 Jan 2020 10:11:18 PM UTC, comment #10: 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 Free Software projects after 22 March 2020. https://gitlab.com/gitlab-org/gitlab/issues/10361#note_251410289 I would propose to wait until this date and then choose this solution, which does not require post-receive hooks on savannah, if it is really available.	Bruno Haible <haible>
Thu 14 Nov 2019 08:38:59 AM UTC, comment #9: Hmm, that's bad (the proprietary javascript in github). What about gitlab? Thats were we have the CI infrastructure...	Jose E. Marchesi <jemarch>
Thu 14 Nov 2019 08:29:31 AM UTC, comment #8: 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.	Ineiev <ineiev>
Tue 12 Nov 2019 10:36:49 PM UTC, comment #7: Yes, that should work. Gitlab has the notion of "API tokens" but I don't know whether they allow "git push".	Bruno Haible <haible>
Tue 12 Nov 2019 11:03:43 AM UTC, comment #6: 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 post-receive hooks that will git push --mirror to the github and gitlab repos.	Jose E. Marchesi <jemarch>
Sun 10 Nov 2019 07:36:30 AM UTC, comment #5: No files in the hook directories on Git server of Savannah have any reference to github; I'm not sure what to do.	Ineiev <ineiev>
Thu 24 Oct 2019 08:42:58 AM UTC, comment #4: ping	Jose E. Marchesi <jemarch>
Sun 20 Oct 2019 11:26:05 PM UTC, comment #3: Yes, that's the idea.	Bruno Haible <haible>
Sun 20 Oct 2019 10:35:11 PM UTC, comment #2: 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!	Jose E. Marchesi <jemarch>
Sun 20 Oct 2019 09:50:04 PM UTC, comment #1: 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.	Bruno Haible <haible>
Sun 20 Oct 2019 09:40:48 PM UTC, original submission: Hello people! I would need to add a post-receive hook to the poke.git repository, to mirror commits in github.com/jemarch/poke. I think something like this should do the trick: git push --mirror https://github.com/jemarch/poke.git AFAIK coreutils has a similar setup. I suppose I should add commit permission for some github user. Please let me know. Thanks!	Jose E. Marchesi <jemarch>

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:


Comment:

No files currently attached

Depends on the following items: None found

Items that depend on this one: None found

Carbon-Copy List

-email is unavailable- added by ineiev (Posted a comment)

-email is unavailable- added by haible (Posted a comment)

-email is unavailable- added by jemarch (Submitted the item)

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

Please enter the title of George Orwell's famous dystopian book (it's a date):

Follow 2 latest changes.

Date	Changed by	Updated Field	Previous Value	=>	Replaced by
2019-11-10	ineiev	Status	None		Need Info
		Assigned to	None		ineiev

Savannah Administration - Support: sr #110065, Enable mirroring for poke.git in...

sr #110065: Enable mirroring for poke.git in github

<a href="#postcomment">Post a Comment</a>

<a href="#discussion">Discussion</a>

<a href="#attached">Attached Files</a>

<a href="#dependencies">Dependencies</a>

<a href="#cc">Mail Notification Carbon-Copy List</a>

<a href="#votes">Votes</a>

<a href="#history">History</a>