Name: devtools
Owner: SlamData, Inc.
Description: Development tools for SlamData
Created: 2015-07-30 16:29:23.0
Updated: 2018-04-12 17:21:30.0
Pushed: 2018-04-12 17:21:28.0
Homepage: null
Size: 37
Language: Python
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Development tools for SlamData
How to get up and running with sdmerge
.
t clone https://github.com/slamdata/devtools.git
The sdmerge
script depends on python 3.
You also need to exchange ssh keys with github. This requires two steps:
Generate ssh keys
Exchage public key with github
To merge a PR from private repository, you need to get github access token from here. Provide it to the script through GITHUB_TOKEN env variable.
In addition ensure the PR has a version label assigned to it.
Now run the sdmerge
script as follows:
merge REPO-NAME PR-NUMBER
replacing REPO-NAME
by the name of a repository, for exapmle quasar-analytics/quasar
.
REPO-NAME
may be skipped if script is run from target repo directory and has remote named upstream
.