add database entries for new gists, update REPL URLs#2680
Merged
Rich-Harris merged 5 commits intosite/databasefrom May 5, 2019 
Merged
add database entries for new gists, update REPL URLs#2680Rich-Harris merged 5 commits intosite/databasefrom 
Rich-Harris merged 5 commits intosite/databasefrom