gnome github

[Patrick Welche <prlw1 cam ac uk>]

There is a rather good pull request waiting for me at
 
        https://github.com/GNOME/dasher/pull/2
 
I was under the impression though that github is one way - if I apply
it on github, will it make its way back to git.gnome.org?
 
The other issue is just how deeply we frown on merges? (Given the patch
set, I would just apply it...)
 
Thoughts?
 
Cheers,
 
Patrick