Because git is dumb. Just kidding.

Something wrong with branching when I swapped Poli-Web and master. So
had to hard reset HEAD. Hope to never do that again. At least
Poli-Android is still alive!