[IMPORTANT] commit history was changed!
by Lukas Vlcek
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
10 years, 9 months
