Skip to content

or-tools/repo

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Description

Grab all repository using Google repo

HowTo

Installing repo

First you need the repo binary.

mkdir -p ~/.local/bin
curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.local/bin/repo
chmod a+x ~/.local/bin/repo

Getting the manifest

Using ssh

repo init -u ssh://git@github.com/or-tools/repo.git -b main

Using https

repo init -u https://github.com/or-tools/repo.git

note: To change/set your user.name and user.email simply use the option --config-name

Checkout main branch

repo start --all main

Update/Download all repo

repo sync -j8

Now all is done ...

Run command

You can easily run a command on each repo e.g.:

repo forall -c 'echo "$REPO_PROJECT:"; git checkout main'

About

Repo to download all

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors