[repo]Can I create a pull request to git-repo repository ?

Leon Deng

unread,

Apr 8, 2021, 5:10:43 AM4/8/21

to Repo and Gerrit Discussion

Unfortunately, We have more than 50, 000 tags for a peoject in Gerrit，and it 's so slowly when we run `repo sync` command.

Howerver, we find a way to make it faster by change Repo tool code , and we think it may be helpful for others. But I'm not sure if we can do pull request in the page of 'https://github.com/GerritCodeReview/git-repo'

So my question is, is that OK to do pull request and which branch should I select ?

Thanks.

Leon Deng

unread,

Apr 8, 2021, 6:45:55 AM4/8/21

to Repo and Gerrit Discussion

Does anyone help me？

peter.kje...@axis.com

unread,

Apr 14, 2021, 8:19:04 AM4/14/21

to Repo and Gerrit Discussion

You can find instructions on how to contribute here:
https://gerrit.googlesource.com/git-repo/+/HEAD/SUBMITTING_PATCHES.md

//Peter

Leon Deng

unread,

Apr 28, 2021, 3:07:14 AM4/28/21

to peter.kje...@axis.com, Repo and Gerrit Discussion

Thank you. I'll have a try.

peter.kje...@axis.com <peter.kje...@axis.com> 于2021年4月14日周三下午8:19写道：

--
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/repo-discuss/aa71b5cc-f4de-412b-804b-a2565832c9a7n%40googlegroups.com.

Reply all

Reply to author

Forward