But isn't the Github archive function for exactly this use case then? I have asked maintainers that haven't updated their repo in years, whether this project is

But isn't the Github archive function for exactly this use case then? I have asked maintainers that haven't updated their repo in years, whether this project is actively maintained or can be archived - archived says exactly that: this repo isn't developed any further, but you may still use it.