{"action":"created","issue":{"url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/issues/67","repository_url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin","labels_url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/issues/67/labels{/name}","comments_url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/issues/67/comments","events_url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/issues/67/events","html_url":"https://github.com/jenkinsci/pipeline-model-definition-plugin/pull/67","id":195122505,"number":67,"title":"JENKINS-40337 - add top-level `options` section and `skipCheckout` option","user":{"login":"abayer","id":120218,"avatar_url":"https://avatars.githubusercontent.com/u/120218?v=3","gravatar_id":"","url":"https://api.github.com/users/abayer","html_url":"https://github.com/abayer","followers_url":"https://api.github.com/users/abayer/followers","following_url":"https://api.github.com/users/abayer/following{/other_user}","gists_url":"https://api.github.com/users/abayer/gists{/gist_id}","starred_url":"https://api.github.com/users/abayer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/abayer/subscriptions","organizations_url":"https://api.github.com/users/abayer/orgs","repos_url":"https://api.github.com/users/abayer/repos","events_url":"https://api.github.com/users/abayer/events{/privacy}","received_events_url":"https://api.github.com/users/abayer/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2016-12-13T00:02:12Z","updated_at":"2016-12-13T02:42:17Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/pulls/67","html_url":"https://github.com/jenkinsci/pipeline-model-definition-plugin/pull/67","diff_url":"https://github.com/jenkinsci/pipeline-model-definition-plugin/pull/67.diff","patch_url":"https://github.com/jenkinsci/pipeline-model-definition-plugin/pull/67.patch"},"body":"[JENKINS-40337](https://issues.jenkins-ci.org/browse/JENKINS-40337)\r\n\r\nRight now, there's just the one possible thing that can go in `options`, but I have a feeling there could well be more. I opted to not go with a `Map` underlying the `options` (unlike `tools`, `environment`, et al) because this way, it'll be a *lot* easier in the future if we need to add a complex option - i.e., a nested map, etc - while still getting good type and name validation. That said, if there's a better way to do it, I'm not saying no!\r\n\r\ncc @reviewbybees esp @rsandell @michaelneale @HRMPW @i386"},"comment":{"url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/issues/comments/266619706","html_url":"https://github.com/jenkinsci/pipeline-model-definition-plugin/pull/67#issuecomment-266619706","issue_url":"https://api.github.com/repos/jenkinsci/pipeline-model-definition-plugin/issues/67","id":266619706,"user":{"login":"michaelneale","id":14976,"avatar_url":"https://avatars.githubusercontent.com/u/14976?v=3","gravatar_id":"","url":"https://api.github.com/users/michaelneale","html_url":"https://github.com/michaelneale","followers_url":"https://api.github.com/users/michaelneale/followers","following_url":"https://api.github.com/users/michaelneale/following{/other_user}","gists_url":"https://api.github.com/users/michaelneale/gists{/gist_id}","starred_url":"https://api.github.com/users/michaelneale/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/michaelneale/subscriptions","organizations_url":"https://api.github.com/users/michaelneale/orgs","repos_url":"https://api.github.com/users/michaelneale/repos","events_url":"https://api.github.com/users/michaelneale/events{/privacy}","received_events_url":"https://api.github.com/users/michaelneale/received_events","type":"User","site_admin":false},"created_at":"2016-12-13T02:42:17Z","updated_at":"2016-12-13T02:42:17Z","body":"A user won't see the difference between properties and options. A UI (which PMD is) shouldn't be a lecture in the legacy decisions of design of Jenkins if at all possible. \r\n\r\noptions OR properties make sense. "}}
{"actor":{"display_login":"michaelneale"}}