As I had done a mistake in the very last commit I forced push. I hope I did not change your history! I will leave it up to you to remove that commit or not as I do not want to touch this repository without your knowledge any more.
I will remove myself the rights to push to this repository.
Hi,
I am so sorry, I have pushed to this repo without realising! For some reason Github has aliases the following remote to your repository!
As I had done a mistake in the very last commit I forced push. I hope I did not change your history! I will leave it up to you to remove that commit or not as I do not want to touch this repository without your knowledge any more.
I will remove myself the rights to push to this repository.
My apologies!
Fred