/.github

GitHub configurations, and docs.

.github