2 docs tagged with "github"

Personal reference on Git fundamentals, workflows, and GitHub-specific special files and features.

Optimized scoped label scheme for GitHub repos, with CLI scripts to apply them in bulk or to new repos.