[jbosstools-dev] jbosstools-target-platforms repo have be filtered - you need to pull/fetch or fresh clone before using again

Hi, As discussed in another thread the newish jbosstools-target-platforms repo was ~53M because of a rogue commit of a 52m binary. I've run filterbranch on it to have it removed and the repo is now ~1.1M when cloned. This means the history have been rewritten and the SHA's does not match up anymore so if you have jbosstools-target-platforms checked out you need to run git fetch --all or git pull --all ...or even simpler just delete your copy and run git clone again. If not you will get errors when attempting to push and if you then use force you will bring back the 53m repo - so please dont ;) Thanks, Max