[arch-dev-public] Disable corepkg?

Florian Pritz bluewind at xinu.at
Fri Jun 27 15:06:11 EDT 2014


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>

More information about the arch-dev-public mailing list