Register Library on Gitlab

But git itself is, in a sense, "decentralized" and platform agnostic. A request to update a repository with a commit diff should be as well.

For example, "git request-pull" should in theory achieve the same results.