trac: install github plugin
lint