[fix] Fixed the ability to close GitHub issues upon release (10m)
[fix] Stopped syncing GitHub pull requests as issues [#89] (5m)
[skip] Ensured that Ticket Antecedents are informed when their ticket is released, resolved, or closed (20m)
[skip] Slimmed down TODO (having moved some items to issues)