Re: [Freemint-discuss] Bintray integration / git force-push needed

[Thorsten O. <ad...@th...>]

On Dienstag, 13. März 2018 02:18:03 CET Miro Kropáček wrote:
> If you bump into some strange troubles, just post it here, I'll try to help.

Not really trouble, but some strangeness: when looking at commit

https://github.com/freemint/freemint/commit/
6794f46ceef4c45ae79c6d306c388f8fece03b74#diff-3240fd2b36343a7f8e388f163731ea06

i read now: th-otto committed on...

However, i only committed that to my fork, and the PR was later merged. So the 
information, that this commit was caused by merging that PR seems to be lost.