[arch-dev-public] Disable corepkg?

Dan McGee dpmcgee at gmail.com
Fri Jun 27 16:34:51 EDT 2014

On Fri, Jun 27, 2014 at 2:06 PM, Florian Pritz <bluewind at xinu.at> wrote:

> Hi,
> Since we don't want people to push to core directly how about removing
> corepkg from devtools?
> For the few cases where pushing to core directly is needed one can
> simply use "commitpkg core" instead.
> If nobody objects I'll submit a patch to devtools in about a week.
> Tracking bug so I don't forget: https://bugs.archlinux.org/task/41013
> Have we had any actual problems with this? I'm probably the only one
guilty of pushing straight to core (with pacman-mirrorlist), so I can adopt
the new method, just curious if this is in reaction to something happening.


More information about the arch-dev-public mailing list