commit | b57e633433eaf32f9c2e3f398937f99a5319869c | [log] [tgz] |
---|---|---|
author | Mike Frysinger <vapier@google.com> | Sat Feb 15 13:49:10 2020 -0500 |
committer | Mike Frysinger <vapier@google.com> | Sun Feb 16 05:12:33 2020 +0000 |
tree | bb2e3d2ec10d58e64af8cdd34e904a5881ff6bb2 | |
parent | d21638424cc92d8fa00e7f440300c92d8532f5a8 [diff] |
github: enable github actions for postsubmit testing This gives us a bit of feedback by running our testsuite on Linux, macOS, and Windows platforms. While Linux & macOS are passing, Windows fails some of them. We can figure that out later. This is better than what we have now which is manual one-offs. Change-Id: I9d2d644be97ec76645db0bc15739e7679310a647 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/255314 Reviewed-by: David Pursehouse <dpursehouse@collab.net> Tested-by: Mike Frysinger <vapier@google.com>
Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.
Many distros include repo, so you might be able to install from there.
# Debian/Ubuntu. $ sudo apt-get install repo # Gentoo. $ sudo emerge dev-vcs/repo
You can install it manually as well as it's a single script.
$ mkdir -p ~/.bin $ PATH="${HOME}/.bin:${PATH}" $ curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo $ chmod a+rx ~/.bin/repo