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

 
 

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

Submitted by:  Jose E. Marchesi <jemarch>
Submitted on:  Sun 20 Oct 2019 09:40:48 PM UTC  
 
Category:  Source code repositories - developer access Priority:  5 - Normal
Severity:  3 - Normal Status:  Need Info
Assigned to:  Ineiev <ineiev> Operating System:  None
Open/Closed:  Open

Add a New Comment (Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

( Jump to the original submission)

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>
Site AdministratorIn charge of this item.
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>
Site AdministratorIn charge of this item.
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)
  •  

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

     

     

    Follow 2 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2019-11-10 ineiev StatusNone => Need Info
        Assigned toNone => ineiev

    Back to the top


    Powered by Savane 3.5