I will fix that and force-push. Take care when you are pulling next time to not merge things in, if you have locally anything which was not pushed at the time of rewrite. You will have to reapply commits manually. You do not want to push old commits back to this repository.
I will fix that and force-push. Take care when you are pulling next time to not merge things in, if you have locally anything which was not pushed at the time of rewrite. You will have to reapply commits manually. You do not want to push old commits back to this repository.