I haven't pushed anything yet, but I'll have an update for the website soon; I'm moving all the database and GitHub interactions to a web api, so the website project itself will not need any api keys or connection strings. So far got endpoints for the indenter, fetching tags and xml assets, getting the inspection defaults config, and CRUD operations on everything in the database. The logic that parses xmldocs is also moving to a service library that's part of the public solution.
4