[forge-dev] jbosstools-forge

[Koen Aers]

Hi guys,

This is for everyone who has a local clone of the http://github.com/forge/jbosstools-forge. Because of a simultaneous change done by Nick Boldt in the jbosstools repo (http://github.com/jbosstools/jbosstools-forge) I needed to perform a forced push. You will have to do a 'git fetch --all' and then a 'git reset --hard remote_name/master' to be synchronized again.

Sorry for the inconvenience.

Cheers,
Koen