Hi,
Q:What is the formal license associated with these libraries?
A:There is an EULA in the Maya 2018 devkit update 3.
Q:Is it ok to put these in our repository?
A:You can add the DevKit files to your private repository, but you are not allowed to share them publicly. If you need to share them publicly for sharing a source code project, you should specify the version of the devkit needed, and create a link to the devkit download on Autodesk website instead.
Yours,
Li