3 Commits

Include renames

Author	SHA1	Message	Date
3 people	32b73150ef	Fix stale bot (#25904) ... Co-authored-by: Arthri <41360489+a@users.noreply.github.com>	2024-06-29 17:54:50 +00:00
S34NandGitHub	ff6af9bcb0	🙃 (#24875)	2024-03-29 15:16:21 +00:00
3 people	89d6873c7e	Adds workflow for automatic handling of stale PRs and issues, tidies other workflows and adds better logging (#24839) ... * Tidy the code, better commenting when things go wrong * text! * stale labeller * get the labels right * avoid complications * Update .github/workflows/merge_upstream_master.yml * Update .github/workflows/merge_upstream_master.yml * Apply suggestions from code review Co-authored-by: Luc <89928798+lewcc@users.noreply.github.com> * makes the merge upstream thingy comment, and approve its generated workflows * wow * remove this, paradise bot reigns supreme --------- Co-authored-by: Luc <89928798+lewcc@users.noreply.github.com>	2024-03-28 23:39:31 +00:00