30 Sep
2017
30 Sep
'17
1:55 p.m.
On Sat, Sep 30, 2017 at 01:24:56PM +0200, Max wrote:
I'd love to but since migration to gerrit I'm unable to modify main repo directly. Is there some way to do it via gerrit?
simply push to gerrit instead of the old git repo. any branch removed in gerrit will be removed automatically in the public master repo.
Working with branches since gerrit was introduced is exactly like before, you just work on the 'gerrit' remote rather than the old one (probably 'origin' in most setups).
--
- Harald Welte laforge@gnumonks.org http://laforge.gnumonks.org/
============================================================================
"Privacy in residential applications is a desirable marketing option."
(ETSI EN 300 175-7 Ch. A6)