# Extension Builder

An automated build script to build extensions from github repositories.

Should work with almost any repo, but is currently hardcoded.

TODO: make it easier to edit