Please archive this project

[koppor]

For me, it is confusing that the repository is said to be moved, but it is not archived to prevent further issues, pull requests, etc. -- Is this intended?

Side comment: If one has an organization with several repositories, there are now GitHub projects, which allow to track issues from different repositories in one view.

[FlorianKirmaier]

Thank you!
Let me archive it.