On Thu, Mar 22, 2018 at 6:09 PM, Frank Rowand <frowand.list@xxxxxxxxx> wrote: > Hi Grant, > > On 03/14/18 07:47, Grant Likely wrote: >> [Resending simply because I originally sent this as HTML mail from my >> iPad, which vger.kernel.org views as spam.] >> >> On Thu, Mar 8, 2018 at 2:00 AM, David Gibson >> <david@xxxxxxxxxxxxxxxxxxxxx> wrote: >>> On Wed, Mar 07, 2018 at 06:20:34PM +0000, Grant Likely wrote: >>>> Hi folks, >>>> >>>> Anyone object to me adding a fork of dtc to the devicetree-org GitHub >>>> page? I'd like to start running the dtc CI loop in TravisCI, and that >>>> is dead easy for projects in GitHub. >>> >>> As Frank said, I already have a dtc tree on github, >>> https://github.com/dgibson/dtc >>> and it's already wired up to Travis at: >>> https://travis-ci.org/dgibson/dtc/branches >>> >>> It's generally in sync with the kernel.org tree (my normal workflow is >>> push to github, check the Travis build succeeded, then push to >>> kernel.org). >>> >>> I don't have a strong objection to having another copy under >>> devicetree-org, but I'm not sure if it accomplishes anything extra. >>> >>>> Or, should we just straight out move dtc to GitHub? >>> >>> I'd prefer not to do that. >> >> The main reason for having a copy on the DT.org github page is to give >> it a higher profile repo with accompanying CI status badge. Out of > > Is "CI status badge" what is described at: > > https://docs.travis-ci.com/user/status-images/ Yes. Rob -- To unsubscribe from this list: send the line "unsubscribe devicetree-spec" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
