[PRQ#41943] Merge Request for theseus-cli-git
9 Jun
2023
9 Jun
'23
9:06 p.m.
Nixuge [1] filed a request to merge theseus-cli-git [2] into modrinth- cli-git [3]: Basically merging to the same package but with a more user friendly name, as "Theseus is typically not the user-facing public name, so it would reduce confusion" Asked by a modrinth team member (@triphora on discord) Did the exact same request for the "gui" package a few mins ago btw [1] https://aur.archlinux.org/account/Nixuge/ [2] https://aur.archlinux.org/pkgbase/theseus-cli-git/ [3] https://aur.archlinux.org/pkgbase/modrinth-cli-git/
11 Jun
11 Jun
8:56 a.m.
New subject: [PRQ#41943] Merge Request for theseus-cli-git Accepted
Request #41943 has been Accepted by polyzen [1]: [Autogenerated] Accepted merge for theseus-cli-git into modrinth-cli- git. [1] https://aur.archlinux.org/account/polyzen/
561
Age (days ago)
563
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org