How to git push a branch/pull request to collaborate?

[gregvds]

Thanks bitlab for the answer.

I did try a PR on the current develop, attached to an issue I created. Sadly, my proposed PR concerned something not open to modification without prior agreement and testing with other third party. Hence Tim did not accepted it and closed/rejected the PR and issue. Not a problem, as I understand the reasons and the philosophy behind that.

I'll continue so to mod my MoOde Audio configuration after having it flashed and installed :-).

Regards,

Greg