This is a special repository that contains GitHub specific things, you probably don't need anything from here at this point.

(At least until there's some re-usable workflows added here).