Comment by AltruisticGapHN

Should the repo be archived?

I rarely see people use that feature yet tons of repos on Github are essentially dead.