search

purescript-contrib / governance

Guidelines and resources for the PureScript Contributors organization
15 stars 3 forks source link

Remove stale workflow file #19

Closed thomashoneyman closed 3 years ago

thomashoneyman commented 3 years ago

Fixes #16 by removing the stale workflow, which previously would comment on issues or pull requests which had no activity over the past 60 days and close them 14 days later if there was still no activity.

thomashoneyman commented 3 years ago

In addition, the 17 (so far) updated libraries from https://github.com/purescript-contrib/governance/issues/13 will need to have this workflow file deleted as well. There isn't currently a mechanism to use the API to modify files across repositories, so I can do this manually once this PR merges.