Thanks!
Regards, Igor On Mar 29, 2019, 11:24 AM +0200, Daniel-Constantin Mierla notifications@github.com, wrote:
I rebased, edited the commits and then did a forced push -- worked this time, but this is usually dangerous to do, can break the repo. Better have the commit messages written properly. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.