[PRQ#49030] Deletion Request for android-sdk-platform-tools-dummy Rejected

2024-02-27 Thread notify
Request #49030 has been Rejected by MarsSeed [1]: Deferring due to low priority, and to ease the burden on PM's. [1] https://aur.archlinux.org/account/MarsSeed/

Re: [PRQ#49030] Deletion Request for android-sdk-platform-tools-dummy

2023-11-28 Thread 张海
Hi MarsSeed, I respectfully disagree with the request here (and the other ones). Please see my comments inline. 于2023年10月15日周日 03:28写道: > > MarsSeed [1] filed a deletion request for android-sdk-platform-tools- > dummy [2]: > > Dummy packages are not useful to provide to a package manager, and >

Re: [PRQ#49030] Deletion Request for android-sdk-platform-tools-dummy

2023-10-18 Thread 张海
Hi MarsSeed, (Resending because my previous email was blocked due to not subscribing to the list yet and the moderators didn't approve it in the past few days.) I respectfully disagree with the request here (and the other ones for android-sdk-dummy and android-sdk-cmdline-tools-latest-dummy). Ple

Re: [PRQ#49030] Deletion Request for android-sdk-platform-tools-dummy

2023-10-15 Thread Muflone
Il 15/10/23 12:28, not...@aur.archlinux.org ha scritto: MarsSeed [1] filed a deletion request for android-sdk-platform-tools- dummy [2]: Dummy packages are not useful to provide to a package manager, and they are not allowed on AUR. https://lists.archlinux.org/archives/list/aur-requests@lis

[PRQ#49030] Deletion Request for android-sdk-platform-tools-dummy

2023-10-15 Thread notify
MarsSeed [1] filed a deletion request for android-sdk-platform-tools- dummy [2]: Dummy packages are not useful to provide to a package manager, and they are not allowed on AUR. Having a dummy package installed defeats the purpose of using a package manager. If a package requires another package,