commit	4d19d3bf9dbbd59a3e777533ca6f184e9316d134	[log] [tgz]
author	Petr Hosek <phosek@google.com>	Tue Jan 10 18:50:54 2017 -0800
committer	Petr Hosek <phosek@google.com>	Tue Jan 10 18:50:54 2017 -0800
tree	c33d1080f584901bf37766cafc6e302e55c15724
parent	b000ad085f58a244db63c3ace95c298144998bef [diff]

Remove jiri module configuration

This configuration was never really used for anything and isn't really
needed since we specify both remote and manifest as bucket properties.

Change-Id: I683d5bf3d59dbb7e5da928db3ae818f0d7adb4a9

recipe_modules/jiri/config.py[Deleted - diff]
recipe_modules/jiri/example.expected/basic_fuchsia.json[Deleted - diff]
recipe_modules/jiri/example.expected/basic_jiri.json[Deleted - diff]
recipe_modules/jiri/example.expected/basic_magenta.json[Deleted - diff]
recipe_modules/jiri/example.py[diff]

5 files changed

tree: c33d1080f584901bf37766cafc6e302e55c15724

README.md

infra

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