Git Reset

After many months of not working on my Red Pitaya repository it got out of date with the upstream master. To correct this I ran:

git checkout master
git reset upstream/master
git reset --hard
git push origin master --force