Skip to content

Conversation

SeppPenner
Copy link
Contributor

No description provided.

@robsoncouto
Copy link
Contributor

Thanks @SeppPenner for the PRs.

Hey @per1234 , this was merged, but contains typos.
Can you use your git magic to overwrite it even after merge?
Thanks.

@per1234
Copy link
Collaborator

per1234 commented Feb 17, 2019

In theory, I could do that, but it's not a good idea to change the history of the master branch of a public repository. It's better to just add another commit to fix the typos. I have done so and submitted the PR here:
#543

@SeppPenner
Copy link
Contributor Author

@robsoncouto @per1234 Sorry for that one. Seems that I did not sleep enough yesterday 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants