From a3f5f0e032929eb958a6ca521bad295faa42164d Mon Sep 17 00:00:00 2001 From: Ramana Kumar Date: Wed, 6 Dec 2017 15:11:22 +1100 Subject: [PATCH] Note a worker deficiency for PRs from other repos --- TODO | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/TODO b/TODO index 37e43fa..89ac29a 100644 --- a/TODO +++ b/TODO @@ -1,3 +1,8 @@ +TODO: Support pull requests from different repositories + The current worker will create a repository with only one remote; it needs to + do something to fetch other remotes if there are pull requests from other + remotes. + TODO: Add an option for cleaning away old directories (possibly do this by default?)? This could be done on the basis of their age