On Fri, Jun 27, 2014 at 2:06 PM, Florian Pritz <[email protected]> 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
