CodingCellist  filed an orphan request for idris2-git :
The idris2-git package has been out of date for over a year, falling behind the [idris2 release package](https://aur.archlinux.org/packages/idris2) which I currently (co-)maintain. Unfortunately, [mb64 has been MIA for quite some time](https://aur.archlinux.org/packages/idris2-git#comment-884682), and so I would like to adopt this package as I already maintain the release version.
Request #40023 has been Accepted by muflone :
[Autogenerated] Accepted orphan for idris2-git.