[arch-dev-public] Disable corepkg?
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...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the arch-dev-public