W3C home > Mailing lists > Public > public-wot-ig@w3.org > May 2016

RE: Proposed introduction for IG charter scope

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>
Message-ID: <4EBB3DDD0FBF694CA2A87838DF129B3C017977BD@DEFTHW99EL4MSX.ww902.siemens.net>
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.


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.


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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:27:03 UTC