4 Commits

Author	SHA1	Message	Date
Brad Warren	1da113d7d6	tweak comment	2023-02-14 08:55:07 -08:00
Brad Warren	64800c2b1f	disable stale for PRs	2023-02-14 08:51:17 -08:00
Will Greenberg	8226d30af0	Bump up the number of operations to 30 (#9554) ... This is the default value, which is sensible since an "operation" basically corresponds to a GH API call, and 1 won't really let us do anything.	2023-01-28 08:16:15 +11:00
Will Greenberg	b0748b69e7	Replace probot/stale app with a Github Action (#9466) ... * Replace probot/stale app with a Github Action This creates a Github Actions workflow which seems to be the supported way of automarking issues as stale. Adds a dry-run flag to test it out. * small fixups * cron typo * disable unnecessary permissions * use friendlier name	2023-01-25 15:59:22 -08:00