Mikhail Gusarov 279ebc3173 [FIX #2636] Add script for merging external contributions ... Pulls, rebases, displays, signs and pushes external contributions. If jq(1) and curl(1) are available, can pull data from GitHub and mark PRs as closed, otherwise only code merging works. Signed-off-by: Oskar Thoren <ot@oskarthoren.com>		2017-12-26 02:15:15 +01:00
..
lib/setup	Make sure setup script runs on linux	2017-12-21 10:34:02 +01:00
build-android.sh	Added build scripts	2017-12-12 09:05:18 +01:00
bundle-status-go.sh	Added build scripts	2017-12-12 09:05:18 +01:00
generate-keystore.sh	Added build scripts	2017-12-12 09:05:18 +01:00
merge-external-pr.sh	[FIX #2636] Add script for merging external contributions	2017-12-26 02:15:15 +01:00
merge-pr.sh	Fix merge-pr script so it runs as bash	2017-12-15 11:01:39 +01:00
run-osx	Added developer setup script for smoother setup	2017-11-30 01:24:06 -08:00
setup	Install all dependencies on Linux	2017-12-08 18:26:01 +01:00