Is it okay to put the C API libraries in a public GitHub repo?

Yes, that’s a problem with a lot of open-source licenses. They seem to be written with the assumption that you are free to distribute everything it takes to run your application, without obligation to anyone who wrote some part of it that you are using, and under some other license. What we need is a version of the MIT license that starts like this:

Then Appendix A should read like this:

You know, the “API” and those two files are not the same thing. I think I’ll go ahead and include the files on the repo, with that additional license term. I’m only distributing the files that way, not the API and not the entire SDK.