[arch-dev-public] Disable corepkg?

[Dan McGee]

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.

-Dan