Request #10383 has been rejected by Eschwartz [1]: This is not Github, there are no such thing as merge requests. Merges mean transferring votes and comments, and nothing else, so this wouldn't do anything anyway. [1] https://aur.archlinux.org/account/Eschwartz/