[forge-dev] jbosstools-forge

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