Trace: move_to_github_done_smoothly

Move to Github done smoothly

The Jajuk issue tracker and the Git repository are now moved to GitHub (see previous article for the context).

Repository move

Obviously and by nature, the Git repository move has been very simple. I just had to drop my previous origin (pointing to the gitorious project url), to add the new Github origin and to push all my branches. The push of the master branch toke around 30 mins and the others branches (develop, hotfix) almost no time at all. Note that the -u option used in the push command recreates the upstream tracking references.

git remote del origin
git remote add origin
git push -u origin master

The only problem occurred when dropping our Gitorious repository (error 500 → timeout?)

Issue tracker move

I tried several Trac to Github migration tools, most of them didn't work and finaly settled down with trac2github. It is written in PHP, reads the database (supports mysql, postgres and sqlite) and call the GitHub REST API V3 to create the tickets. It creates the milestones, labels, tickets and comments with good defaults. It had some bugs when working with a postgres database and I has to patch it (two of my push request has been integrated). I also pushed a patch to obfuscate emails from comments.

I also figured out another problem (not linked with the migration tool) : we used the DeleteTicket Trac plugin to drop spam tickets but GitHub issues ids have to be continuous. Origin and destination issues ids are hence now shifted, this is a problem when the code comments have references to a ticket number but we had no solutions for this problem AFAIK.

Have a look at the brand new issue tracker ! :



thanks a lot admin on your information and sorry permission share

obat pelangsing wsc bioloobat pelangsing wsc biolo, 2016/06/14 05:41

cara jitu mengobati radang amandel tanpa operasiocara jitu mengobati radang amandel tanpa operasio, 2016/06/28 10:13

His form has been filled. Thank you friend b(^)

ZofephPeewsZofephPeews, 2018/02/27 09:51

levitra 5 mg online total members - buy viagra without doctor prescription free trial sample viagra viagra levitra <a href=“”>buy viagra without doctor prescription </a> viagra dosing options skin by

EsdiecizEsdieciz, 2018/03/01 04:05

cialis buy uk new posts - generic viagra without doctor prescription cialis spam filter misspelled <a href=“”>viagra without doctor prescription </a> acquisto cialis generico italia

DasidHokDasidHok, 2018/03/01 12:26

cialis dosage when to take forum contains new posts - buy viagra without a doctor prescription cialis 5mg users browsing this forum <a href=“”>buy viagra without a doctor prescription </a> cialis generic canada top posters

JohnzypefJohnzypef, 2018/03/02 22:21 - generic viagra without a doctor prescription <a href=“”>viagra without a prior doctor prescription </a>

JohnzypefJohnzypef, 2018/03/02 23:59 - generic viagra without a doctor prescription <a href=“”>viagra without prescription </a>

JohnzypefJohnzypef, 2018/03/03 09:12 - <a href=“”>viagra without a doctor prescription usa </a>

OBAT MIOMOBAT MIOM, 2018/03/05 05:23!/

SpesialisHerbalSpesialisHerbal, 2018/04/30 04:21

If you have a history of illness that is difficult to recover, maybe our next article will help you to recover

Obat untuk sakit pada tulang Obat Campak Obat Sakit Tenggorokan Obat Pengering Luka Diabetes Obat prurigo

kakakaookakakaoo, 2018/05/12 06:00


Enter your comment. Wiki syntax is allowed:
blog_tech/5/move_to_github_done_smoothly.txt · Last modified: 2014/12/10 14:30 by bflorat