Delete this repo?

[charnpreetsingh]

This repository served as a testing ground for making the documentation theme. It's no longer needed/in use as the work is being done in this repo. If we are no longer using it, we should delete it.

[willingc]

Hey @charnpreetsingh, I've renamed this to append deprecated. It probably is fine to delete, though it may be better to hold off on deleting until all the docs are migrated. Just in case it is useful for something historical (though offhand I have no idea what).

[willingc]

Let's target deletion by September 1, 2017 or doc migration, whichever is sooner.

[willingc]

I'm also going to disable issues today for this repo which should make it clear that there is NO activity on this :-)