What best practice for setting up a devops environment on github.

Hello, 

What is the best practice for setting up devops tools on github?  Two lines of thought, but which is best practice.

1.) Use a single repo and put all devops tools directories under it.

e.g:  

github.com/gitcode2/mycode.git

then under there have directories for ansible, terrafrom, cloudformation, puppet, chef, etc…etc…

Please who need to work on these tools clone the entire mycode.git repo and have access to it all, it that a good idea?

2.) Use separate repositories for each of the devops tools?

github.com/gitcode2/ansible.git

github.com/gitcode2/puppet.git

github.com/gitcode2/chef.gif

github.com/gitcode2/cloudformation.git

github.com/gitcode2/terraform.git 

etc…

Let devop engineers download individual repos, more admin management? settings, permissions, etc

Anybody have any ideas?

Thanks, Gitcode2