From 7321dcb10b3bbda7b21711bc9d43f68b1db10e32 Mon Sep 17 00:00:00 2001 From: Ramana Kumar Date: Sun, 10 Dec 2017 21:23:20 +1100 Subject: [PATCH] Add a TODO --- TODO | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/TODO b/TODO index 89ac29a..c62bb33 100644 --- 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