Nicolas Dandrimont a1a6228e05 lister: retrieve old task and origin id if a full_name has been recycled ... If a repo changed hands, it is possible that a full_name is recycled. In that case, we reuse the task_id and origin_id from the old repository instead of recreating them.		2016-10-20 16:26:53 +02:00
..
github	lister: retrieve old task and origin id if a full_name has been recycled	2016-10-20 16:26:53 +02:00