Patrick Thomson 9855903e1f Merge pull request #377 from github/sha-sha-sha-cha-cha-cha ... Embed SHA in Docker builds by passing it in as an environment variable.		2019-11-07 13:59:28 -05:00
..
bootstrap	v2-.	2019-10-30 08:42:28 -04:00
clone-example-repos	Move npm up.	2019-09-17 13:33:16 -04:00
generate-example	v2-.	2019-10-30 08:42:28 -04:00
ghci-flags	Take care not to load semantic-source twice.	2019-11-01 13:44:57 -04:00
ghci-flags-dependencies	Add a script to compute the files to watch for changes to the packages.	2019-11-01 11:16:30 -04:00
profile	v2-.	2019-10-30 08:42:28 -04:00
protoc	Use tclem/proto-lens-jsonpb	2019-10-02 13:14:16 -07:00
publish	Various versions of sed and prompt before push	2019-11-07 10:00:01 -08:00
repl	Don’t ignore .ghci when using script/repl.	2019-11-01 11:59:30 -04:00