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