Closed laceesz closed 4 years ago
@thelacesz, thank you for the translation! I will merge ASAP. I am still trying to dial in my Github PR foo. I can merge PRs, but I am unsure how to close the PR as merged after, like in this PR on another project https://github.com/Obsidian-StudiosInc/Travis-CI-Dark-Purple/pull/4. That is merged, but Github still shows it as open, due to how I merged it outside of GitHub. That is the delay for merging this PR. Otherwise, I would have merged it sooner.
@thelacesz, sorry for the delay! I merge the PR, but not in a manner such that it closes this PR. Same issue I had with another repo. I got around this in the past with a force push, I am trying to avoid. I need to play with github merge buttons a bit.
Please merge it!