+1 — agree with Deb, github makes it easy getting people on board (who for the most part are git users anyways)
—Paolo
==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-==-
Dr. Paolo Missier Home: http://tinyurl.com/paolomissier
Paolo.Missier@newcastle.ac.uk<mailto:Paolo.Missier@newcastle.ac.uk>, pmissier@acm.org<mailto:pmissier@acm.org> Twitter:https://twitter.com/PMissier<http://twitter.com/PMissier>
School of Computing Science, Newcastle University, UK LinkedIn: http://uk.linkedin.com/pub/paolo-missier
=- Observe, Interpret, Understand, Act. Repeat -= My photography: http://scattidistratti.smugmug.com/
On 20 Jun 2016, at 14:19, Deborah McGuinness <dlm@cs.rpi.edu<mailto:dlm@cs.rpi.edu>> wrote:
Another +1 for github. There are an increasing number of somewhat lightweight users of prov these days and it would I think be useful to have an easy infrastructure like github for update requests and tracking.
Sent from my iPhone
On Jun 17, 2016, at 10:15 AM, Vlad Korolev <vkorol1@umbc.edu<mailto:vkorol1@umbc.edu>> wrote:
+1 for github
We can use github pages to have actual website ( with a link to origin git-repo). Also we don’t need to deal with account and user management, everybody has github account these days. As a bonus it will be easy to manage edits from people. You can have a group of trusted people as collaborators, so they can edit content directly and the rest of the world can submit changes via pull-request mechanism.
Also, you can host github pages using any domain you want. https://help.github.com/articles/using-a-custom-domain-with-github-pages/
— Vlad