Do we want to rename this repo?

Following up on conversations in: https://github.com/github/erblint-github/pull/4

Start by reading pull request #4 and the conversations it contains, since this issue only follows up on that discussion. A decision about whether the repository should be renamed is needed before any implementation can be considered done.

由索引模型根據 Issue 內容生成。