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 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