On 2012-07-20 at 10:40 +0100, Nigel Metheringham wrote: > I do like github. I am a little concerned that it has become quite such > a single centre for project development across a huge series of > projects, but at least with git it is very hard to make an ownership > grab on the repositories. And they do a damn good job.
I agree wholeheartedly on each point. I may have grumbles about the current status of features in development, but those are generally good-natured. (Mostly falling out of how wiki and main repo are tied together, limitations of the wiki, inability to use online preview wiki tools in a main repo, and issues around the tied notifications for both). GitHub is decent, and the lack of lock-in for the code itself is excellent; I'd want to explore carefully issues around migration before starting to use their issue-tracker. Everything else that comes immediately to mind is fine. > The wiki on github was intended to be experimental - its another chunk > of infrastructure than needs maintaining and punting that to github > would be another thing that doesn't need our software maintenance, which > might allow more time for content maintenance... Really the wiki needs > some serious gardening. And is there something better for FAQ maintenance? Compared to a wiki? Not in my experience. Authenticated wikis with audit trails, and someone else managing spammer tracking, are excellent. We have the Pages stuff redirecting exim.github.com to the wiki. We could use the custom domain support to have wiki.exim.org be accepted as equivalent to exim.github.com, but the content would still end up redirected. Ideally though, there would be some way to have the content a visitor ends up seeing be a wiki page with wiki.exim.org still the hostname, so that we at least have a chance to set up redirections if we move again and need to repoint. > Phil Pennock wrote: > > Do we want to explore having a cron-job auto-sync content from tahini to > > GitHub, or a post-receive-hook or the like on tahini to auto-push to > > GitHub? > > We have cron jobs operating on the tahini git repo already - so adding > (bidrectional?) sync to those would be pretty easy. Sounds good to me; I have no firm preference on robot user account (they explicitly mention that they're happy with this, despite ToS) vs organisational API key or whatever the alternative is. We could also set up an @EximCommits Twitter account and then have GitHub autopush to that, using their extensive WebHooks integration repertoire. (I've not created that account, am not going to be online (much?) this weekend). -Phil -- ## List details at https://lists.exim.org/mailman/listinfo/exim-dev Exim details at http://www.exim.org/ ##
