mirror of
https://github.com/not-kennethreitz/convore.json.git
synced 2026-06-05 23:20:19 +00:00
1 line
1.4 KiB
JSON
1 line
1.4 KiB
JSON
[{"user_id": 4149, "stars": [], "topic_id": 42507, "date_created": 1311365443.6111979, "message": "I have a google code repo that I want to mirror a github repo, how can I do this?", "group_id": 591, "id": 1701311}, {"user_id": 23322, "stars": [], "topic_id": 42507, "date_created": 1311368110.287869, "message": "Based on https://convore.com/github/setting-up-mirror-repositories/ you should be able to just email GitHub support to request it.", "group_id": 591, "id": 1701600}, {"user_id": 4149, "stars": [], "topic_id": 42507, "date_created": 1311376687.692327, "message": "@jeffl8n thanks but that is the opposite way, i don;t want github to mirror google code, i want google code to mirror github", "group_id": 591, "id": 1702177}, {"user_id": 23322, "stars": [], "topic_id": 42507, "date_created": 1311378906.4880049, "message": "@italiano40 sorry, I misunderstood the question. You could try setting up a PostCommitWebHook on Google Code to have GitHub pull the latest code - http://code.google.com/p/support/wiki/PostCommitWebHooks", "group_id": 591, "id": 1702310}, {"user_id": 15988, "stars": [], "topic_id": 42507, "date_created": 1311423252.6887791, "message": "isn't that still the opposite of what @italiano40 asked for? Perhaps you can set up a git repository on a server somewhere with two remotes -- one to the Google one and another to Github, then periodically pull from Github and push to Google code?", "group_id": 591, "id": 1705451}] |