https://bugzilla.wikimedia.org/show_bug.cgi?id=47274

--- Comment #10 from [email protected] ---
(In reply to comment #7)
> > If you do not want to do automatic mangling of ${name} you can go
> straight for the Url to push to.
> 
> Hm, wait, we can do this manually?  That's fine for my purposes.

Yes, of course you can :-) ... But then I realized that I added this
functionality only locally, when testing replication some time back
:-(

I now added documentation and pushed it to upstream:
https://gerrit-review.googlesource.com/#/c/44710/

It does not meet this bug's request to have custom renaming, but it
would allow to replicate
  operations/puppet/cdh4 (gerrit) -> puppet-cdh4 (github)
in /addition/ to the standard
  operations/puppet/cdh4 (gerrit) -> operations-puppet-cdh4 (github)
. To get this, you'd just have to add another remote section to
gerrit's repository.config. Something like:

[remote "github-extra-cd4"]
    url = [github-push-url]/puppet-cdh4
    project = operations/puppet/cdh4

That said, I am still not yet convinced that departing from our 1:1
mapping is a good idea... fortunately, I need not decide that :-)

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to