tree 1de819e588c8b7648d66b6b4de442deb83701bf6
parent 9760cd63f5be0bd455e1b34dfd20132bdfdc7b5c
author Kevin Moore <kevmoo@users.noreply.github.com> 1522184135 -0700
committer Sam Rawlins <sam.rawlins@gmail.com> 1522184135 -0700

Remove the deprecated `ExtensionSet.gitHub` field. (#210)

Use `ExtensionSet.gitHubFlavored` instead.