It would be nice to create queries that find recently updated PR's for example if we could make a query for "PR's Updated During The Last 7 Days".
The query syntax does not seem to to allow relative date queries, which seems like a big omission on GitHub.com's part. However the extension could do the math for you with some invented syntax. So "Last 7 Days" does something like updated:>2020-06-15 or whatever date was 7 days ago.
It would be nice to create queries that find recently updated PR's for example if we could make a query for "PR's Updated During The Last 7 Days".
The query syntax does not seem to to allow relative date queries, which seems like a big omission on GitHub.com's part. However the extension could do the math for you with some invented syntax. So "Last 7 Days" does something like
updated:>2020-06-15or whatever date was 7 days ago.