|
1 | 1 | {
|
2 |
| - "action": "opened", |
3 |
| - "number": 1943, |
| 2 | + "action": "synchronize", |
| 3 | + "number": 1958, |
4 | 4 | "pull_request": {
|
5 |
| - "url": "https://api.github.com/repos/lampepfl/dotty/pulls/1943", |
6 |
| - "id": 104705912, |
7 |
| - "html_url": "https://github.com/lampepfl/dotty/pull/1943", |
8 |
| - "diff_url": "https://github.com/lampepfl/dotty/pull/1943.diff", |
9 |
| - "patch_url": "https://github.com/lampepfl/dotty/pull/1943.patch", |
10 |
| - "issue_url": "https://api.github.com/repos/lampepfl/dotty/issues/1943", |
11 |
| - "number": 1943, |
| 5 | + "url": "https://api.github.com/repos/lampepfl/dotty/pulls/1958", |
| 6 | + "id": 105198014, |
| 7 | + "html_url": "https://github.com/lampepfl/dotty/pull/1958", |
| 8 | + "diff_url": "https://github.com/lampepfl/dotty/pull/1958.diff", |
| 9 | + "patch_url": "https://github.com/lampepfl/dotty/pull/1958.patch", |
| 10 | + "issue_url": "https://api.github.com/repos/lampepfl/dotty/issues/1958", |
| 11 | + "number": 1958, |
12 | 12 | "state": "open",
|
13 | 13 | "locked": false,
|
14 |
| - "title": "Positioned#initialPos: Union the position of every children", |
| 14 | + "title": "WIP Add \"enum\" construct", |
15 | 15 | "user": {
|
16 |
| - "login": "smarter", |
17 |
| - "id": 63430, |
18 |
| - "avatar_url": "https://avatars.githubusercontent.com/u/63430?v=3", |
| 16 | + "login": "odersky", |
| 17 | + "id": 795990, |
| 18 | + "avatar_url": "https://avatars.githubusercontent.com/u/795990?v=3", |
19 | 19 | "gravatar_id": "",
|
20 |
| - "url": "https://api.github.com/users/smarter", |
21 |
| - "html_url": "https://github.com/smarter", |
22 |
| - "followers_url": "https://api.github.com/users/smarter/followers", |
23 |
| - "following_url": "https://api.github.com/users/smarter/following{/other_user}", |
24 |
| - "gists_url": "https://api.github.com/users/smarter/gists{/gist_id}", |
25 |
| - "starred_url": "https://api.github.com/users/smarter/starred{/owner}{/repo}", |
26 |
| - "subscriptions_url": "https://api.github.com/users/smarter/subscriptions", |
27 |
| - "organizations_url": "https://api.github.com/users/smarter/orgs", |
28 |
| - "repos_url": "https://api.github.com/users/smarter/repos", |
29 |
| - "events_url": "https://api.github.com/users/smarter/events{/privacy}", |
30 |
| - "received_events_url": "https://api.github.com/users/smarter/received_events", |
| 20 | + "url": "https://api.github.com/users/odersky", |
| 21 | + "html_url": "https://github.com/odersky", |
| 22 | + "followers_url": "https://api.github.com/users/odersky/followers", |
| 23 | + "following_url": "https://api.github.com/users/odersky/following{/other_user}", |
| 24 | + "gists_url": "https://api.github.com/users/odersky/gists{/gist_id}", |
| 25 | + "starred_url": "https://api.github.com/users/odersky/starred{/owner}{/repo}", |
| 26 | + "subscriptions_url": "https://api.github.com/users/odersky/subscriptions", |
| 27 | + "organizations_url": "https://api.github.com/users/odersky/orgs", |
| 28 | + "repos_url": "https://api.github.com/users/odersky/repos", |
| 29 | + "events_url": "https://api.github.com/users/odersky/events{/privacy}", |
| 30 | + "received_events_url": "https://api.github.com/users/odersky/received_events", |
31 | 31 | "type": "User",
|
32 | 32 | "site_admin": false
|
33 | 33 | },
|
34 |
| - "body": "Previously we missed some children, one consequence of this is that the\r\nposition of the typed tree corresponding to the lambda \"z => 1\" did not\r\ncontain the position of \"z\".\r\n\r\nReview by @odersky ", |
35 |
| - "created_at": "2017-02-05T16:51:01Z", |
36 |
| - "updated_at": "2017-02-05T16:51:01Z", |
| 34 | + "body": "This is a prototype implementation to add an \"enum\" construct to Scala. Scala enums give a more concise notation for \r\n\r\n - enums as in Java\r\n - ADTs\r\n - GADTs\r\n\r\nCurrent status\r\n\r\n - [x] First implementation\r\n - [x] Some test cases\r\n - [ ] A specification\r\n - [ ] An implementation of generic programming in the style of SYB. We need to clarify first exactly\r\n what we want from the compiler\r\n - [ ] A decision whether we want to go ahead with this", |
| 35 | + "created_at": "2017-02-08T11:29:18Z", |
| 36 | + "updated_at": "2017-02-09T09:18:27Z", |
37 | 37 | "closed_at": null,
|
38 | 38 | "merged_at": null,
|
39 |
| - "merge_commit_sha": null, |
| 39 | + "merge_commit_sha": "7100d31c76a0317b8cd3445970c463b133215252", |
40 | 40 | "assignee": null,
|
41 | 41 | "assignees": [
|
42 | 42 |
|
43 | 43 | ],
|
44 | 44 | "milestone": null,
|
45 |
| - "commits_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/commits", |
46 |
| - "review_comments_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/comments", |
| 45 | + "commits_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/commits", |
| 46 | + "review_comments_url": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/comments", |
47 | 47 | "review_comment_url": "https://api.github.com/repos/lampepfl/dotty/pulls/comments{/number}",
|
48 |
| - "comments_url": "https://api.github.com/repos/lampepfl/dotty/issues/1943/comments", |
49 |
| - "statuses_url": "https://api.github.com/repos/lampepfl/dotty/statuses/9e9206dbf3e1cbd378adcb9f65637d2cf331cc10", |
| 48 | + "comments_url": "https://api.github.com/repos/lampepfl/dotty/issues/1958/comments", |
| 49 | + "statuses_url": "https://api.github.com/repos/lampepfl/dotty/statuses/ce4051743d590721dc969c92c44a35147e1e3abc", |
50 | 50 | "head": {
|
51 |
| - "label": "dotty-staging:fix/lambda-position", |
52 |
| - "ref": "fix/lambda-position", |
53 |
| - "sha": "9e9206dbf3e1cbd378adcb9f65637d2cf331cc10", |
| 51 | + "label": "dotty-staging:add-enum", |
| 52 | + "ref": "add-enum", |
| 53 | + "sha": "ce4051743d590721dc969c92c44a35147e1e3abc", |
54 | 54 | "user": {
|
55 | 55 | "login": "dotty-staging",
|
56 | 56 | "id": 6998674,
|
|
136 | 136 | "deployments_url": "https://api.github.com/repos/dotty-staging/dotty/deployments",
|
137 | 137 | "created_at": "2014-03-19T13:06:15Z",
|
138 | 138 | "updated_at": "2016-07-11T14:41:18Z",
|
139 |
| - "pushed_at": "2017-02-05T16:50:41Z", |
| 139 | + "pushed_at": "2017-02-09T09:18:27Z", |
140 | 140 | "git_url": "git://github.com/dotty-staging/dotty.git",
|
141 | 141 | "ssh_url": "git@github.com:dotty-staging/dotty.git",
|
142 | 142 | "clone_url": "https://github.com/dotty-staging/dotty.git",
|
143 | 143 | "svn_url": "https://github.com/dotty-staging/dotty",
|
144 | 144 | "homepage": "",
|
145 |
| - "size": 27650, |
| 145 | + "size": 27676, |
146 | 146 | "stargazers_count": 4,
|
147 | 147 | "watchers_count": 4,
|
148 | 148 | "language": "Scala",
|
|
162 | 162 | "base": {
|
163 | 163 | "label": "lampepfl:master",
|
164 | 164 | "ref": "master",
|
165 |
| - "sha": "da7d7231b7f21fe1085abc569eb783590074a359", |
| 165 | + "sha": "75bea8dccce2bc3c0e8298ee71061c9871fd26ac", |
166 | 166 | "user": {
|
167 | 167 | "login": "lampepfl",
|
168 | 168 | "id": 2684793,
|
|
247 | 247 | "releases_url": "https://api.github.com/repos/lampepfl/dotty/releases{/id}",
|
248 | 248 | "deployments_url": "https://api.github.com/repos/lampepfl/dotty/deployments",
|
249 | 249 | "created_at": "2012-12-06T12:57:33Z",
|
250 |
| - "updated_at": "2017-02-05T01:04:39Z", |
251 |
| - "pushed_at": "2017-02-05T16:50:21Z", |
| 250 | + "updated_at": "2017-02-08T13:10:05Z", |
| 251 | + "pushed_at": "2017-02-09T08:51:58Z", |
252 | 252 | "git_url": "git://github.com/lampepfl/dotty.git",
|
253 | 253 | "ssh_url": "git@github.com:lampepfl/dotty.git",
|
254 | 254 | "clone_url": "https://github.com/lampepfl/dotty.git",
|
255 | 255 | "svn_url": "https://github.com/lampepfl/dotty",
|
256 | 256 | "homepage": "http://dotty.epfl.ch",
|
257 |
| - "size": 28511, |
258 |
| - "stargazers_count": 1447, |
259 |
| - "watchers_count": 1447, |
| 257 | + "size": 28896, |
| 258 | + "stargazers_count": 1452, |
| 259 | + "watchers_count": 1452, |
260 | 260 | "language": "Scala",
|
261 | 261 | "has_issues": true,
|
262 | 262 | "has_downloads": true,
|
263 | 263 | "has_wiki": false,
|
264 | 264 | "has_pages": true,
|
265 |
| - "forks_count": 212, |
| 265 | + "forks_count": 213, |
266 | 266 | "mirror_url": null,
|
267 |
| - "open_issues_count": 243, |
268 |
| - "forks": 212, |
269 |
| - "open_issues": 243, |
270 |
| - "watchers": 1447, |
| 267 | + "open_issues_count": 250, |
| 268 | + "forks": 213, |
| 269 | + "open_issues": 250, |
| 270 | + "watchers": 1452, |
271 | 271 | "default_branch": "master"
|
272 | 272 | }
|
273 | 273 | },
|
274 | 274 | "_links": {
|
275 | 275 | "self": {
|
276 |
| - "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1943" |
| 276 | + "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1958" |
277 | 277 | },
|
278 | 278 | "html": {
|
279 |
| - "href": "https://github.com/lampepfl/dotty/pull/1943" |
| 279 | + "href": "https://github.com/lampepfl/dotty/pull/1958" |
280 | 280 | },
|
281 | 281 | "issue": {
|
282 |
| - "href": "https://api.github.com/repos/lampepfl/dotty/issues/1943" |
| 282 | + "href": "https://api.github.com/repos/lampepfl/dotty/issues/1958" |
283 | 283 | },
|
284 | 284 | "comments": {
|
285 |
| - "href": "https://api.github.com/repos/lampepfl/dotty/issues/1943/comments" |
| 285 | + "href": "https://api.github.com/repos/lampepfl/dotty/issues/1958/comments" |
286 | 286 | },
|
287 | 287 | "review_comments": {
|
288 |
| - "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/comments" |
| 288 | + "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/comments" |
289 | 289 | },
|
290 | 290 | "review_comment": {
|
291 | 291 | "href": "https://api.github.com/repos/lampepfl/dotty/pulls/comments{/number}"
|
292 | 292 | },
|
293 | 293 | "commits": {
|
294 |
| - "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1943/commits" |
| 294 | + "href": "https://api.github.com/repos/lampepfl/dotty/pulls/1958/commits" |
295 | 295 | },
|
296 | 296 | "statuses": {
|
297 |
| - "href": "https://api.github.com/repos/lampepfl/dotty/statuses/9e9206dbf3e1cbd378adcb9f65637d2cf331cc10" |
| 297 | + "href": "https://api.github.com/repos/lampepfl/dotty/statuses/ce4051743d590721dc969c92c44a35147e1e3abc" |
298 | 298 | }
|
299 | 299 | },
|
| 300 | + "requested_reviewers": [ |
| 301 | + |
| 302 | + ], |
300 | 303 | "merged": false,
|
301 | 304 | "mergeable": null,
|
302 | 305 | "mergeable_state": "unknown",
|
303 | 306 | "merged_by": null,
|
304 |
| - "comments": 0, |
305 |
| - "review_comments": 0, |
| 307 | + "comments": 1, |
| 308 | + "review_comments": 2, |
306 | 309 | "maintainer_can_modify": true,
|
307 |
| - "commits": 1, |
308 |
| - "additions": 2, |
309 |
| - "deletions": 0, |
310 |
| - "changed_files": 1 |
| 310 | + "commits": 13, |
| 311 | + "additions": 501, |
| 312 | + "deletions": 173, |
| 313 | + "changed_files": 29 |
311 | 314 | },
|
| 315 | + "before": "a51a963005eb6f5a42a0cef7420a7008956e622a", |
| 316 | + "after": "ce4051743d590721dc969c92c44a35147e1e3abc", |
312 | 317 | "repository": {
|
313 | 318 | "id": 7035651,
|
314 | 319 | "name": "dotty",
|
|
374 | 379 | "releases_url": "https://api.github.com/repos/lampepfl/dotty/releases{/id}",
|
375 | 380 | "deployments_url": "https://api.github.com/repos/lampepfl/dotty/deployments",
|
376 | 381 | "created_at": "2012-12-06T12:57:33Z",
|
377 |
| - "updated_at": "2017-02-05T01:04:39Z", |
378 |
| - "pushed_at": "2017-02-05T16:50:21Z", |
| 382 | + "updated_at": "2017-02-08T13:10:05Z", |
| 383 | + "pushed_at": "2017-02-09T08:51:58Z", |
379 | 384 | "git_url": "git://github.com/lampepfl/dotty.git",
|
380 | 385 | "ssh_url": "git@github.com:lampepfl/dotty.git",
|
381 | 386 | "clone_url": "https://github.com/lampepfl/dotty.git",
|
382 | 387 | "svn_url": "https://github.com/lampepfl/dotty",
|
383 | 388 | "homepage": "http://dotty.epfl.ch",
|
384 |
| - "size": 28511, |
385 |
| - "stargazers_count": 1447, |
386 |
| - "watchers_count": 1447, |
| 389 | + "size": 28896, |
| 390 | + "stargazers_count": 1452, |
| 391 | + "watchers_count": 1452, |
387 | 392 | "language": "Scala",
|
388 | 393 | "has_issues": true,
|
389 | 394 | "has_downloads": true,
|
390 | 395 | "has_wiki": false,
|
391 | 396 | "has_pages": true,
|
392 |
| - "forks_count": 212, |
| 397 | + "forks_count": 213, |
393 | 398 | "mirror_url": null,
|
394 |
| - "open_issues_count": 243, |
395 |
| - "forks": 212, |
396 |
| - "open_issues": 243, |
397 |
| - "watchers": 1447, |
| 399 | + "open_issues_count": 250, |
| 400 | + "forks": 213, |
| 401 | + "open_issues": 250, |
| 402 | + "watchers": 1452, |
398 | 403 | "default_branch": "master"
|
399 | 404 | },
|
400 | 405 | "organization": {
|
|
411 | 416 | "description": null
|
412 | 417 | },
|
413 | 418 | "sender": {
|
414 |
| - "login": "smarter", |
415 |
| - "id": 63430, |
416 |
| - "avatar_url": "https://avatars.githubusercontent.com/u/63430?v=3", |
| 419 | + "login": "felixmulder", |
| 420 | + "id": 1530049, |
| 421 | + "avatar_url": "https://avatars.githubusercontent.com/u/1530049?v=3", |
417 | 422 | "gravatar_id": "",
|
418 |
| - "url": "https://api.github.com/users/smarter", |
419 |
| - "html_url": "https://github.com/smarter", |
420 |
| - "followers_url": "https://api.github.com/users/smarter/followers", |
421 |
| - "following_url": "https://api.github.com/users/smarter/following{/other_user}", |
422 |
| - "gists_url": "https://api.github.com/users/smarter/gists{/gist_id}", |
423 |
| - "starred_url": "https://api.github.com/users/smarter/starred{/owner}{/repo}", |
424 |
| - "subscriptions_url": "https://api.github.com/users/smarter/subscriptions", |
425 |
| - "organizations_url": "https://api.github.com/users/smarter/orgs", |
426 |
| - "repos_url": "https://api.github.com/users/smarter/repos", |
427 |
| - "events_url": "https://api.github.com/users/smarter/events{/privacy}", |
428 |
| - "received_events_url": "https://api.github.com/users/smarter/received_events", |
| 423 | + "url": "https://api.github.com/users/felixmulder", |
| 424 | + "html_url": "https://github.com/felixmulder", |
| 425 | + "followers_url": "https://api.github.com/users/felixmulder/followers", |
| 426 | + "following_url": "https://api.github.com/users/felixmulder/following{/other_user}", |
| 427 | + "gists_url": "https://api.github.com/users/felixmulder/gists{/gist_id}", |
| 428 | + "starred_url": "https://api.github.com/users/felixmulder/starred{/owner}{/repo}", |
| 429 | + "subscriptions_url": "https://api.github.com/users/felixmulder/subscriptions", |
| 430 | + "organizations_url": "https://api.github.com/users/felixmulder/orgs", |
| 431 | + "repos_url": "https://api.github.com/users/felixmulder/repos", |
| 432 | + "events_url": "https://api.github.com/users/felixmulder/events{/privacy}", |
| 433 | + "received_events_url": "https://api.github.com/users/felixmulder/received_events", |
429 | 434 | "type": "User",
|
430 | 435 | "site_admin": false
|
431 | 436 | }
|
|
0 commit comments