record-deletion: doesn't update GitHub releases

[slint]

Records deleted via the "record deletion" procedure by their owners, do not correctly show as "Deleted" in the GitHub repository page.

[ptamarit]

I think this is also the case for records deleted by admins.