[#11383] Add detection of PRs linking to closed issues

TEAMMATES / teammates

This is the project website for the TEAMMATES feedback management tool for education

https://teammatesv4.appspot.com/

GNU General Public License v2.0

1.66k stars 3.28k forks source link

[#11383] Add detection of PRs linking to closed issues #13154

Closed itstrueitstrueitsrealitsreal closed 2 months ago

itstrueitstrueitsrealitsreal commented 2 months ago

Part of #11383

Outline of Solution Modified pr.yml to check for the status of the issue that newly created pull requests are solving using the pr.data.state.description attribute from GitHub's REST API for issues, allowing users to be notified that the issue they are trying to work on is already closed, as per Automation Hero in the wiki. Tested on my personal fork.