[BMSR]

Well in order to really know, we'd need to know exactly what processes get triggered at GitHub after a commit. Maybe it has certain triggers like update databases, re-calculate information, etc. So I'm asking if someone who knows about the insides of GitHub could simply answer if it's "cheap and efficient enough" or "every commit is kinda expensive".