Josh Bleecher Snyder 224e25d8cc Stop using $USER in misc/review ... For folks whose $USER doesn't match their Gerrit username, editing misc/review is not a great solution, since the changes cannot be committed (nf notwithstanding). Instead, let ssh config files do their thing; these are not part of the repo, and thus can be set once and merrily forgotten. Change-Id: If03fe05e5779553ed1f98310e8f22b0635ada7bb		2013-06-04 17:30:23 -07:00
..
buildbot	buildbot: more idiomatic chan timeout, and chan reuse.	2013-06-04 15:16:02 +02:00
old-devscripts	Move old broken dev-* scripts away.	2012-10-19 13:38:55 -07:00
sqlite	Update all os.ENOENT references to ErrNotExist. Mostly docs/dead code.	2012-05-13 12:06:21 -07:00
commit-msg.githook	…
copyrightifity	…
devlib.pl	dev-server: more verbose, build camdbinit lazily (speeds start-up)	2013-01-20 12:33:35 -08:00
get_closure.pl	Use git instead of svn for fetching closure.	2013-02-13 11:38:16 +02:00
gitversion	buildinfo: include dirty + flag in version	2013-02-03 10:14:21 -08:00
pre-commit.githook	pre-commit hook: skip deleted files	2013-04-25 19:25:32 +02:00
review	Stop using $USER in misc/review	2013-06-04 17:30:23 -07:00
testfile	…