Fix isssue-closing script to work without project pages and default merge messages.#289

Merged

nusbaume merged 6 commits intoESCOMP:developmentfrom nusbaume:issue_close_fix

Aug 22, 2024

+123-337

Commits on Aug 19, 2024

Modify issue-closing script to work without projects or standard merge messages.
nusbaume
committed

Commits on Aug 20, 2024

Commits on Aug 22, 2024