opened a new issue because the last was of the 2021

[Holeryn]

I have a similar "problem", i archived my repo because i find it completely useless: https://www.codetriage.com/holeryn/asm_utils
P.S: no problem with the site, it's great but i don't even remember why i asked help for a such a stupid thing.

Originally posted by @Holeryn in #1545 (comment)

[schneems]

The higher level feature here would be handling GitHub updates. The ones on the top of my head are:

• Renamed repo
• Archived repo

It's an open question of what we should do when those events happen. Right now, any of those changes are me manually making changes in a console, which isn't terribly sustainable.

[Holeryn]

as far as I'm concerned you can delete my repo.