Add a TODO

ncough · Dec 10, 2017 · 7321dcb · 7321dcb
1 parent a3f5f0e
commit 7321dcb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/TODO b/TODO
@@ -3,6 +3,12 @@ TODO: Support pull requests from different repositories
   do something to fetch other remotes if there are pull requests from other
   remotes.
 
+TODO: Wait after the refresh API is hit before querying for changes on GitHub.
+  It seems like it takes a while (probably ~1min is fine) for mergable pull
+  requests to show up. (Or investigate why this is happening.) Note: the API
+  must return an HTTP response quickly, even though the main refresh action is
+  to be done on a delay.
+
 TODO: Add an option for cleaning away old directories (possibly do this by default?)?
   This could be done on the basis of their age