- From: Kovatsch, Matthias <matthias.kovatsch@siemens.com>
- Date: Wed, 11 May 2016 15:10:59 +0000
- To: "Kaebisch, Sebastian" <sebastian.kaebisch@siemens.com>, "dsr@w3.org" <dsr@w3.org>
- CC: "public-wot-ig@w3.org" <public-wot-ig@w3.org>
Have a look at https://github.com/w3c/wot/blob/master/charters/README.md Under Web-site based I put a detailed description. It works completely through the GitHub page. For instance, it took me just a minute to create the PR for the intro text. Best close the monolithic request and create a new PR from the master for each of your scope point. Matthias Sent from my Android phone using Symantec TouchDown (www.symantec.com) -----Original Message----- From: Dave Raggett [dsr@w3.org] Received: Wednesday, 11 May 2016, 17:05 To: Kaebisch, Sebastian (CT RDA NEC WOS-DE) [sebastian.kaebisch@siemens.com] CC: Kovatsch, Matthias (CT RDA NEC EMB-DE) [matthias.kovatsch@siemens.com]; Public Web of Things IG [public-wot-ig@w3.org] Subject: Re: Proposed introduction for IG charter scope On 11 May 2016, at 15:01, Kaebisch, Sebastian <sebastian.kaebisch@siemens.com<mailto:sebastian.kaebisch@siemens.com>> wrote: I would recommend to close PR https://github.com/w3c/wot/pull/127 and simple refer to the new one PRhttps://github.com/w3c/wot/pull/142 But doing that would lose the other proposed changes in addition to the introduction. There doesn’t seem to be a simple way to split a pull request, at least a way that I would be able to follow successfully, given that my various attempts ended in failure. Question: is there a way to enter apull request directly on the github website? The UI has the “+” menu but it lacks a menu item for creating a pull request, despite having a menu item for adding an issue. The “edit this file” at the following link commits the changes and doesn’t result in a pull request. https://github.com/w3c/wot/blob/master/charters/wot-ig-2016.html Why github makes things so hard, I don’t know. I forked the repo as https://github.com/draggett/wot and cloned this to my Macbook. I opened this in the github desktop client and created a new branch. I edited the local copy of the IG charter At this point, the github desktop client showed the diffs from the edits. The pull request button made a pull request on my forked repo. I can’t remember how I then generated pull requests 127 and 132. I am therefore stuck. — Dave Raggett <dsr@w3.org<mailto:dsr@w3.org>>
Received on Wednesday, 11 May 2016 15:13:41 UTC