[arch-dev-public] Disable corepkg?

[Florian Pritz]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://mailman.archlinux.org/pipermail/arch-dev-public/attachments/20140627/4cc0eef9/attachment.asc>