zulip

Author	SHA1	Message	Date
Greg Price	0462e85d02	tools: Make remote configurable in {reset,push}-to-pull-request. The appropriate name for the remote pointing at the repo we maintain may be `upstream` for most of our repos... but not when we're downstream of someone else, e.g. for react-native. So, make it easy to configure per-repo.	2018-06-21 17:28:21 -07:00
Tim Abbott	abd09cebb2	git tools: Make error messages more clear.	2017-05-08 10:51:59 -07:00
Rishi Gupta	44502da767	tools: Add check for uncommitted files to PR review scripts.	2017-04-11 22:29:38 -07:00
Christie Koehler	24e2690ec2	tools: Improve git scripts. Minor fixes that enable the ability to: - Re-run fetch-rebase-pull-request. - Specify the name of the remote repo as an optional second parameter. The default remains 'upstream'.	2016-10-11 13:38:38 -07:00
Tim Abbott	4c834172ed	tools: Use 'upstream' as expected name for main zulip repo. Fixes: #1698.	2016-08-24 14:23:37 -07:00
Tim Abbott	39e80b351d	Add simple tools for fetching content of a pull request by ID.	2015-12-25 16:22:00 -08:00