Just got a PR for a very old project on @github. Anyone know if there's a blessed way to "retire" an old project?