How can we publish Arduino libraries that we have uploaded to Github?