.github repository for the AIDOS Lab This is the .github repository for our lab, containing files that are inherited by other repositories, unless specifically overwritten.