infra - nix configuration for my machines

	Commit message (Collapse)	Author	Files	Lines
2022-10-24	fix(ops/github): create resources in correct order	Franck Cuny	1	-0/+2
	We first need to create a repository before we can create the default branch. For the default branch to be set, we also need the repository to contain a commit, which is achieved with the `auto_init' attribute. We can always push with `--force' to overwrite that initial commit when doing the migration.
2022-10-23	ref(ops/github): only allow merge commit	Franck Cuny	1	-3/+3
	While not great, this is the default workflow on GitHub. It's also what allows my `git-broom` CLI to work with branches on GitHub.
2022-10-22	fix(ops/github): some fixes related to repositories creation	Franck Cuny	1	-3/+3

2022-10-09	feat(ops/github): set the name of the default branch	Franck Cuny	1	-0/+13
	From now on we should always be using 'main'. If a project requires 'master', it will need to be set explicitly.
2022-10-09	ref(ops/github): simplify the configuration	Franck Cuny	1	-0/+21
	Move all the repositories in a YAML file, instead of declaring each repository. This will simplify the management as I'll be introducing more resources to manage my repositories.