Note a worker deficiency for PRs from other repos

ncough · Dec 6, 2017 · a3f5f0e · a3f5f0e
1 parent 0d7ccf6
commit a3f5f0e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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