commit	0b2d85fab1b644c8d64f68981f57e6ee50a84d13	[log] [tgz]
author	George Kulakowski <kulakowski@google.com>	Wed Mar 27 11:25:18 2019 -0700
committer	George Kulakowski <kulakowski@google.com>	Wed Mar 27 11:26:21 2019 -0700
tree	a0da270bc9a8310d2c0e029208fb3238c139aacc
parent	14eff20d5270338b8ba0ef400d14925fe017728c [diff]

[gitsync] Remove gitsync

We no longer mirror to github

Change-Id: I3487edfc27e816969723bc1969a5f97ea2510355

scripts/gitsync/README.md[Deleted - diff]
scripts/gitsync/compare-project-list.py[Deleted - diff]
scripts/gitsync/gitsync-driver.sh[Deleted - diff]
scripts/gitsync/gitsync.sh[Deleted - diff]
scripts/gitsync/list-of-repos.txt[Deleted - diff]

5 files changed

tree: a0da270bc9a8310d2c0e029208fb3238c139aacc

fudash/
go/
scripts/
website/
.gitignore
AUTHORS
LICENSE
PATENTS
README.md

README.md

infra

This repo contains tools and config files necessary to run infrastructure related to builds, code review, version control, and continuous integrations.