[Geoserver-devel] geoserver-release-publish failure pushing to github

Justin,

Jenkins looks like it is missing the public key to push tags and branches to github, and needs some local help:

fatal: remote error:
   You can't push to git://github.com/geoserver/geoserver.git
   Use https://github.com/geoserver/geoserver.git

http://ares.boundlessgeo.com/jenkins/job/geoserver-release-publish/3/consoleText

The build otherwise looks good (except for missing .exe and .dmg), so I will proceed.

Kind regards,

--
Ben Caradoc-Davies <Ben.Caradoc-Davies@anonymised.com>
Software Engineer
CSIRO Earth Science and Resource Engineering
Australian Resources Research Centre

Fixed, and tag pushed, sorry about that, i thought i did that last release but apparently not.

···

On Mon, Oct 21, 2013 at 12:58 AM, Ben Caradoc-Davies <Ben.Caradoc-Davies@anonymised.com> wrote:

Justin,

Jenkins looks like it is missing the public key to push tags and branches to github, and needs some local help:

fatal: remote error:
You can’t push to git://github.com/geoserver/geoserver.git
Use https://github.com/geoserver/geoserver.git

http://ares.boundlessgeo.com/jenkins/job/geoserver-release-publish/3/consoleText

The build otherwise looks good (except for missing .exe and .dmg), so I will proceed.

Kind regards,


Ben Caradoc-Davies Ben.Caradoc-Davies@anonymised.com
Software Engineer
CSIRO Earth Science and Resource Engineering
Australian Resources Research Centre

Justin Deoliveira
Vice President, Engineering | Boundless
jdeolive@anonymised.com
@j_deolive