JuliaLang/julia — pull request #6818 by simonbyrne (2014-05-12 14:45:00+00:00)
Title: push access no longer required for Pkg.publish()

fixes #6691. Also checks if any changes have been made before trying to make a pull request.