Merge "FIX: Handling of git topic when push upstream"
authorRobert Tomczyk <robert.tomczyk@est.tech>
Wed, 14 Oct 2020 13:23:20 +0000 (13:23 +0000)
committerNordix Gerrit <gerrit@nordix.org>
Wed, 14 Oct 2020 13:23:20 +0000 (13:23 +0000)

Trivial merge