Stefan Naewe

No need to checkout and update develop. A simple 'git fech' updates 'origin/develop'

What's the 'manual' way of getting rid of any 'wip' branch created with 'git wip'

I finally found it out: `git push . :wip/BRANCHNAME` does the job.

How can a 'push' create a merge commit? Only a 'pull' could do that.

@raul-ortega Could you make a test release with this PR merged? I really like to test this.

Yes, SPRacingF3

Sorry, took me some time to test this. This is the display I use: https://www.amazon.de/dp/B078J78R45/ref=cm_sw_em_r_mt_dp_HCMEKBG83Z364RZHB49G And this is what I get:  Oh, and the other display I have (0.96"...

Don't get me wrong, but why don't you contribute to the project and do that yourself ? It's not that hard, is it (fork,edit,commit,push) ? ;-)