{"action":"created","issue":{"url":"https://api.github.com/repos/szymtor/locfin/issues/28","labels_url":"https://api.github.com/repos/szymtor/locfin/issues/28/labels{/name}","comments_url":"https://api.github.com/repos/szymtor/locfin/issues/28/comments","events_url":"https://api.github.com/repos/szymtor/locfin/issues/28/events","html_url":"https://github.com/szymtor/locfin/pull/28","id":54604572,"number":28,"title":"dawn of revolution","user":{"login":"szymtor","id":1777524,"avatar_url":"https://avatars.githubusercontent.com/u/1777524?v=3","gravatar_id":"","url":"https://api.github.com/users/szymtor","html_url":"https://github.com/szymtor","followers_url":"https://api.github.com/users/szymtor/followers","following_url":"https://api.github.com/users/szymtor/following{/other_user}","gists_url":"https://api.github.com/users/szymtor/gists{/gist_id}","starred_url":"https://api.github.com/users/szymtor/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/szymtor/subscriptions","organizations_url":"https://api.github.com/users/szymtor/orgs","repos_url":"https://api.github.com/users/szymtor/repos","events_url":"https://api.github.com/users/szymtor/events{/privacy}","received_events_url":"https://api.github.com/users/szymtor/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":31,"created_at":"2015-01-16T17:53:34Z","updated_at":"2015-01-17T13:31:33Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/szymtor/locfin/pulls/28","html_url":"https://github.com/szymtor/locfin/pull/28","diff_url":"https://github.com/szymtor/locfin/pull/28.diff","patch_url":"https://github.com/szymtor/locfin/pull/28.patch"},"body":"Rozpoczynam tu dyskusję na tematy rewolucyjne. \r\nZacząłem nowy branch \"revolt\". Pojawiają się takie pytania.\r\n\r\n* Czy w prelim od razu definiować group actions? Czy może od razu przejść do rzeczy, czyli jak najszybciej zakończyć definicję, i przejść do następnej sekcji. Zacząłem coś pisać o group actions (w commicie fe1c73d6878b6faaafbd5cb9c338481f7b95f7b0)  i wygląda na to, że wtedy to się rozwleka podobnie jak wcześniej. Więc proponuję nie pisać o group actions – naturalnie się pojawią w następnej sekcji. Usuwam je w następnym commicie. "},"comment":{"url":"https://api.github.com/repos/szymtor/locfin/issues/comments/70367021","html_url":"https://github.com/szymtor/locfin/pull/28#issuecomment-70367021","issue_url":"https://api.github.com/repos/szymtor/locfin/issues/28","id":70367021,"user":{"login":"bklin","id":10338429,"avatar_url":"https://avatars.githubusercontent.com/u/10338429?v=3","gravatar_id":"","url":"https://api.github.com/users/bklin","html_url":"https://github.com/bklin","followers_url":"https://api.github.com/users/bklin/followers","following_url":"https://api.github.com/users/bklin/following{/other_user}","gists_url":"https://api.github.com/users/bklin/gists{/gist_id}","starred_url":"https://api.github.com/users/bklin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bklin/subscriptions","organizations_url":"https://api.github.com/users/bklin/orgs","repos_url":"https://api.github.com/users/bklin/repos","events_url":"https://api.github.com/users/bklin/events{/privacy}","received_events_url":"https://api.github.com/users/bklin/received_events","type":"User","site_admin":false},"created_at":"2015-01-17T13:31:33Z","updated_at":"2015-01-17T13:31:33Z","body":"\r\nOn 17 Jan 2015, at 14:27, ochremiak wrote:\r\n\r\n> Zrobiłam przed chwilą pusha proponując zmianę kolejności na końcu podsekcji \r\n> B. \r\n> \r\n> Niestety zrobiłam tak jak umiałam, czyli tak jak poprzednio :( \r\n> \r\n> Uwagi do dyskusji: \r\n> - Jak powiązać podsekcję D o relacji do orbit-finite sets with atoms ze \r\n> stwierdzeniami pojawiającymi się na końcu podsekcji B o orbitach? Bo \r\n> podsekcja D zaczyna się tak, jakby wsześniej nie było mowy o orbitach. \r\n\r\nJa bym w ogóle podsekcję D wywalił i powiedział to samo prozą w Related Work na końcu intro.\r\n\r\n> - Nadal głosuję za wprowadzeniem systemu reprezentantów jako reprezentantów \r\n> orbit. \r\n\r\nSkoro orbity już są zdefiniowane, i mamy Lemma 7, to faktycznie tak będzie łatwiej. Napisałem tak jak napisałem bo myślałem że orbit w ogóle nie będzie.\r\n\r\nKto teraz gdzie siedzi? Gdzie mogę dłubać?\r\n\r\n> \r\n> 2015-01-17 14:19 GMT+01:00 bklin <notifications@github.com>: \r\n> \r\n> > \r\n> > I'm back! Co mnie ominęło? \r\n> > \r\n> > Przy pullu z konfliktami chyba automatycznie robi się commit mergujący, \r\n> > nawet jeśli konflikty się automatycznie rozwiązały. \r\n> > \r\n> > On 17 Jan 2015, at 14:16, ochremiak wrote: \r\n> > \r\n> > > Tak. Chyba zawsze. \r\n> > > \r\n> > > 2015-01-17 14:14 GMT+01:00 Szymon Toruńczyk <notifications@github.com>: \r\n> > > \r\n> > > > Aha, rozumiem, robisz dobrze (prawie). Te merge pewnie wynikają z \r\n> > tego, że \r\n> > > > ja w międzyczasie robiłem jakieś commity, a Ty nie robiłaś pullów. Czy \r\n> > > > robisz pull przed pushem? \r\n> > > > \r\n> > > > — \r\n> > > > Reply to this email directly or view it on GitHub \r\n> > > > <https://github.com/szymtor/locfin/pull/28#issuecomment-70366529>. \r\n> > > > \r\n> > > — \r\n> > > Reply to this email directly or view it on GitHub. \r\n> > > \r\n> > \r\n> > — \r\n> > Reply to this email directly or view it on GitHub \r\n> > <https://github.com/szymtor/locfin/pull/28#issuecomment-70366648>. \r\n> >\r\n> —\r\n> Reply to this email directly or view it on GitHub.\r\n> "}}