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


obat herbal alamiobat herbal alami, 2018/07/06 09:09

belidnabelidna, 2018/07/07 08:43

very interesting information, I really like it because it can add insight for me more broadly, thank you very much for this

lalunalaluna, 2018/07/12 08:42

very interesting information, I really like it because it can add insight for me more broadly, thank you very much for this extraordinary information

lalunalaluna, 2018/07/12 08:43

very interesting information, I really like it because it can add insight for me more broadly, thank you very much for this extraordinary information

chenlixiangchenlixiang, 2018/07/16 04:07 2018.7.16chenlixiang

Cream penghilang flek hitam tebak di pipiCream penghilang flek hitam tebak di pipi, 2018/07/18 04:01

medianmedian, 2018/07/21 06:23

obatobat, 2018/07/21 08:26

Hipertensi yang penyebabnya tidak jelas disebut hipertensi primer yang tidak dimengerti benar mekanismenya. Tapi tekanan darah tinggi juga bisa disebabkan oleh gaya hidup dan pola makan yang buruk.

Ambil contoh, merokok. Merokok satu batang saja dapat menyebabkan lonjakan langsung dalam tekanan darah dan dapat meningkatkan kadar tekanan darah sistolik sebanyak 4 mmHG. Nikotin dalam produk tembakau memacu sistem saraf untuk melepaskan zat kimia yang dapat menyempitkan pembuluh darah dan berkontribusi terhadap tekanan darah tinggi.

Kebanyakan makan makanan asin, yang mengandung natrium (makanan olahan, makanan kalengan, fast food), dan makanan atau minuman yang mengandung pemanis buatan juga dapat meningkatkan kolesterol dan/atau tekanan darah tinggi.

Tekanan darah tinggi bisa muncul sebagai efek samping obat gagal ginjal dan perawatan penyakit jantung. Kondisi ini disebut hipertensi sekunder. Pil KB atau obat flu yang dijual di toko obat juga bisa menyebabkan tekanan darah tinggi. Wanita hamil atau yang menggunakan terapi pengganti hormon mungkin juga mengalami tekanan darah tinggi.

Tekanan darah tinggi karena obat mungkin menjadi normal setelah berhenti minum obat, tapi dalam beberapa kasus, tekanan darah masih meningkat selama beberapa minggu setelah menghentikan penggunaan obat. Anda harus bertanya kepada dokter jika tekanan darah abnormal terus terjadi.

Anak di bawah 10 tahun sering kali mengalami tekanan darah tinggi karena penyakit lain, misalnya penyakit ginjal. Dalam kasus tersebut, tekanan darah anak akan kembali normal setelah mengonsumsi obat darah tinggi.

Posted by

Artikel Lainnya :


Cream penghilang bintik hitam bekas jerawatCream penghilang bintik hitam bekas jerawat, 2018/07/28 03:50 Text

chenqiuyingchenqiuying, 2018/08/01 04:47 chenqiuying20180731

Cream penghilang flek hitam membandelCream penghilang flek hitam membandel, 2018/08/02 03:58

Obat Alami Untuk Mengobati BintitanObat Alami Untuk Mengobati Bintitan, 2018/08/06 08:38

A site that always presents current and useful news.

yennyyenny, 2018/08/13 22:20


chenlinachenlina, 2018/08/15 02:27

chenlina20180815 http://www.trikotsgü chenlina20180815

Krim pencerah wajah yang aman dan ampuhKrim pencerah wajah yang aman dan ampuh, 2018/08/18 04:32

obat herbalobat herbal, 2018/08/20 08:23

huangliyuehuangliyue, 2018/09/07 16:26

20189.8huangliyue 20189.8huangliyue

obat herbalobat herbal, 2018/09/11 04:43

chenqiuyingchenqiuying, 2018/09/14 15:18 chenqiuying20180914

Obat Tradisional Eksim Kering Yang ManjurObat Tradisional Eksim Kering Yang Manjur, 2018/09/15 02:35

This one site can make visitors interested to listen to it.

armadaarmada, 2018/09/17 12:39

rental mobil medan @

xiaozhengzhengxiaozhengzheng, 2018/11/03 10:33

2018-11-3 xiaozhengzheng

Distributor Leptosin PusatDistributor Leptosin Pusat, 2018/11/12 03:16

The content contained in this post is very useful. Thank you for sharing. Don't forget to visit this website, it will solve your problem. Check this out guys !

xiaoouxiaoou, 2018/11/16 03:02

20181116 orf

zhoyzhouyan88zhoyzhouyan88, 2018/11/19 07:56

2018.11.19zhouyanhua 2018.11.19zhouyanhua

kakakaookakakaoo, 2019/02/27 10:10 190227yueqin

daisy Elizabethdaisy Elizabeth, 2019/04/28 04:06 ~ michael kors rea ~ cheap nfl authentic jerseys ~ todo camisetas futbol ~ equipacion atletico de madrid 2019 ~ camisetas retro futbol ~ comprar camisetas de futbol baratas ~ borse michael kors outlet ~ michael kors borse prezzi ~ michael kors borse outlet ~ nbaplus horarios ~ cfb3camisetas ~ michael kors borse prezzi ~ mel ouvert caen ~ heure de priere strasbourg 67200 ~ cheap authentic jerseys ~ coach crossbody bags on sale ~ coach outlet online clearance ~ cheap custom shirts ~ cheap custom t shirts no minimum ~ custom shirts online ~ cheap authentic nfl jerseys ~ 19.99 nfl jerseys ~ american girl doll wigs ~ american girl doll wigs cheap ~ cheap custom phone cases ~ stubhub miami heat ~ cheap wigs online ~ cheap nfl jerseys ~ cheap nhl jerseys ~ cheap ralph lauren shirts online ~ flannel bridesmaid shirts ~ coach purses on clearance ~ coach factory online sale invitation ~ coach factory outlet online login ~ official coach factory outlet online ~ coach bags factory outlet ~ camisetas de marca baratas originais ~ bounty camisetas de fútbol ~ 2siteweb ~ cheap custom phone cases ~ lg tribute phone case ~ zte zmax pro custom case ~ cheap lace front wigs ~ cell phone cases wholesale ~ cheap coach purses ~ coach outlet online ~ coach factory outlet online ~ peakmill wigs ~ rosewholesale wigs ~ infoclick anm ~ prefisso 045 ~ cheap human hair wigs ~ nba sportando ~ michael kors väska rea ~ nfl shop jerseys ~ nfl jerseys wholesale ~ maillot boca junior ~ maillot asse pas cher ~ cheap best friend shirts ~ calciomercatonapoli24 ~ borse michael kors outlet ~ borse michael kors saldi ~ polo ralph lauren outlet online ~ polo ralph lauren factory store ~ michael kors plånbok ~ napolicalcio24 ~ coach outlet online ~ coach handbags clearance ~ coach purses on clearance ~ coach factory outlet online login ~ www coachoutlet com ~ coach outlet coupon ~ official coach factory outlet online ~ nba store eu ~ polo outlet ~ polo ralph lauren outlet online ~ retro nba jerseys cheap ~ michael kors plånbok ~ borse michael kors outlet ~ pochette michael kors prezzo ~ cheap nfl jerseys ~ nba sportando ~ michael kors väska rea ~ nba replay ~ coach outlet online store

daisy Elizabethdaisy Elizabeth, 2019/07/23 09:13 ~ ralph lauren outlet online ~ polo ralph lauren outlet online ~ maxmaillots ~ maillotfoot co ~ max maillot ~ foot x ~ ~ www coachoutlet com ~ ~ cheap phone cases ~ cheap nfl jerseys ~ coach outlet clearance ~ coachoutletonline ~ rosewholesale wig reviews ~ cheap jerseys online ~ cheap jersey website ~ cheap t shirts ~ cheap custom shirts ~ cheap wigs ~ dallas cowboys bleacher report ~ raptors forum ~ timberwolves bleacher report ~ cheap lace front wigs ~ cheap human hair wigs ~ coach outlet online ~ cheap custom phone cases ~ custom t shirts cheap ~ reddit nhl streams ~ cheap bape hoodie ~ bape store ~ cheap bape ~ coach factory outlet online ~ coach factory outlet ~ goyard shop ~ goyard online ~ goyard store ~ michael kors outlet ~ michael kors outlet store ~ cheap oakley sunglasses ~ oakley store ~ oakley outlet ~ swarovski outlet ~ swarovski coupon ~ swarovski sale ~ tumi outlet ~ tumi sale ~ tumi backpack sale ~ vera bradley outlet ~ vera bradley outlet sale ~ vera bradley coupons ~ yeti cooler sale ~ yeti promo code ~ yeti sale ~ コーチ アウトレット オンライン ストア ~ coach アウトレット ~ コーチ バッグ 人気 ~ コーチ アウトレット ~ コーチ 公式 アウトレット ~ コーチ アウトレット 店舗 ~ アウトレット コーチ バッグ ~ michael kors plånbok ~ michael kors väska rea ~ michael kors plånbok ~ mk väska ~ michael kors väska ~ vipleague ~ cfb3camisetas ~ bounty camisetas ~ michael kors españa ~ michael kors outlet ~ cfb3 camisetas ~ cfb3 ~ clapton fc camiseta ~ bolsos michael kors outlet ~ nba plus horarios ~ mascamisetasnba ~ prefisso 045