[searchisko-dev] [IMPORTANT] commit history was changed!

Hi, it is really bad practice but we had to change a commit history on GitHub in master branch. Please use the following two git commands to refresh your master branch: git fetch origin git reset --hard origin/master Or you can do new git clone. Sorry for the inconvenience. Regards, Lukas Vlcek jboss.org Development Team