I force pushed

[EspoTek]

Hi @espotek-org/maintainers , I force pushed the git repo just now to delete a bad commit (big file).

This will break git pull

You can fix it by resetting your current local master branch to be the same as the current origin/master:

git fetch origin
git checkout master
git reset --hard origin/master

If you need to pull across something from another branch, you should be able to just squash it and then git cherry-pick onto master.
Or just bother me to do it. :P

I'll try to avoid doing this in future.