gnome github
- From: Patrick Welche <prlw1 cam ac uk>
- To: desktop-devel-list gnome org
- Subject: gnome github
- Date: Sat, 26 Dec 2015 16:39:23 +0000
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]