polr [1] filed a request to merge github-desktop-plus-git [2] into
desktop-plus-git [3]:

Hello, I'm the main maintainer of desktop-plus (previously named
github-desktop-plus).
Since we changed the project name, I've submitted the corresponding
new packages (desktop-plus, desktop-plus-bin, desktop-plus-git). I'm
now submitting merge requests from the 3 old package names into the
new ones.

For more information: https://github.com/desktop-plus/desktop-
plus/releases/tag/v3.6.1.1

Have a nice day!

[1] https://aur.archlinux.org/account/polr/
[2] https://aur.archlinux.org/pkgbase/github-desktop-plus-git/
[3] https://aur.archlinux.org/pkgbase/desktop-plus-git/

Reply via email to