Haus Chores
  1. Haus Chores
  2. HAUS-2180

Synchronise Git repositories to GitHub

    Details

    • Type: New Feature New Feature
    • Status: Open Open
    • Priority: Major Major
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:
      None
    • Number of attachments :
      0

      Description

      GitHub is awesome for collaboration, so we want to make it easy for people to fork our repositories at Github with minimal effort and maximum collaboration.

      To that end my thought is that we automatically provision mirrors of our Git repositories at Github (canonical repo == Codehaus, clone at Github).

      On post-receive at Codehaus, we push the changes across to GitHub. As long as no one does a force push, we should be ok.

      Creation of the repository mirror at GitHub would be automatic, repositories would be created under the "codehaus" organisation which we have control of.

      Phase 1

      Create repositories

      • internal synchronisation routines

      Phase 2

      Automatic push to Github

      • post-receive hook

      Phase 3

      Users added to teams in Github so they can manage their repositories directly at Github.

      • add Github ID to account @ codehaus
      • sync developers / despots over for management

        Activity

        Hide
        Andrew Eisenberg added a comment -

        Looking forward to this feature. Thanks for working on it. I have not moved Groovy-Eclipse to git yet, largely because of the lack of a github mirror.

        Can you be more specific about "As long as no one does a force push, we should be ok"?

        Show
        Andrew Eisenberg added a comment - Looking forward to this feature. Thanks for working on it. I have not moved Groovy-Eclipse to git yet, largely because of the lack of a github mirror. Can you be more specific about "As long as no one does a force push, we should be ok"?
        Hide
        Ben Walding added a comment -

        Well a force push into Codehaus would rewrite history relative to Github. So we would no longer be able to do a normal push from Codehaus to Github; we'd have to do a force push; and then that would impact forks of the Github repos. However Codehaus would be the source repo; so it ultimately needs to be pushed out.

        Not very nice all round - but no one would do that...

        Show
        Ben Walding added a comment - Well a force push into Codehaus would rewrite history relative to Github. So we would no longer be able to do a normal push from Codehaus to Github; we'd have to do a force push; and then that would impact forks of the Github repos. However Codehaus would be the source repo; so it ultimately needs to be pushed out. Not very nice all round - but no one would do that...

          People

          • Assignee:
            Ben Walding
            Reporter:
            Ben Walding
          • Votes:
            1 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated: