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


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

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
MAY still be available for Free Software projects after 22 March 2020.

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 Administrator
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 and, 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 Administrator
Thu 24 Oct 2019 08:42:58 AM UTC, comment #4: 


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

I think something like this should do the trick:
git push --mirror

AFAIK coreutils has a similar setup.
I suppose I should add commit permission for some github user.  Please let me know.


Jose E. Marchesi <jemarch>


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

Attach Files:

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.


    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.13-ee12.
    Corresponding source code