{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":17719656,"defaultBranch":"master","name":"internal-methods","ownerLogin":"iblech","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-03-13T17:26:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3661115?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1526495849.0","currentOid":""},"activityList":{"items":[{"before":"5ac0e629f37854277eeb4e29ccd48ad651f62116","after":"cfe025320d161868413e523f6bb240ef6010f9e6","ref":"refs/heads/master","pushedAt":"2024-08-11T14:26:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"to do","shortMessageHtmlLink":"to do"}},{"before":"7a661fe3e3f9281c4833372cdd898a73bbbb2bef","after":"5ac0e629f37854277eeb4e29ccd48ad651f62116","ref":"refs/heads/master","pushedAt":"2024-01-29T22:12:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"to do","shortMessageHtmlLink":"to do"}},{"before":"62d02f4a68f107e4e609bb8bc251a995e6cc6208","after":"7a661fe3e3f9281c4833372cdd898a73bbbb2bef","ref":"refs/heads/master","pushedAt":"2024-01-26T01:58:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"to do","shortMessageHtmlLink":"to do"}},{"before":"cdd9e1d0a3875da716f5faee67f0606dd7758e14","after":"62d02f4a68f107e4e609bb8bc251a995e6cc6208","ref":"refs/heads/master","pushedAt":"2024-01-21T16:44:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"to do","shortMessageHtmlLink":"to do"}},{"before":"9789f1792e31fca8279035904e61747c1d11187a","after":"cdd9e1d0a3875da716f5faee67f0606dd7758e14","ref":"refs/heads/master","pushedAt":"2024-01-21T12:10:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"68212f9863147859785416804398f43e0369781b","after":"9789f1792e31fca8279035904e61747c1d11187a","ref":"refs/heads/master","pushedAt":"2024-01-11T19:00:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"282e3d241f40cd57b8d0206f89a292b85222a68d","after":"68212f9863147859785416804398f43e0369781b","ref":"refs/heads/master","pushedAt":"2024-01-11T18:48:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"f133689fa19659e79b0bf29a5cadb8d699bc6f16","after":"282e3d241f40cd57b8d0206f89a292b85222a68d","ref":"refs/heads/master","pushedAt":"2023-12-31T10:17:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"667cb10cfdb69130e83dbcc45585c41d2efa1fb8","after":"f133689fa19659e79b0bf29a5cadb8d699bc6f16","ref":"refs/heads/master","pushedAt":"2023-11-29T23:47:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Most slides finished","shortMessageHtmlLink":"Most slides finished"}},{"before":"e3b5bd87eea91d9a148b1999b020710ca69037d2","after":"667cb10cfdb69130e83dbcc45585c41d2efa1fb8","ref":"refs/heads/master","pushedAt":"2023-11-29T21:52:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"First chapter finished","shortMessageHtmlLink":"First chapter finished"}},{"before":"69f86554e495c76220ababc19e85913c267e2f82","after":"e3b5bd87eea91d9a148b1999b020710ca69037d2","ref":"refs/heads/master","pushedAt":"2023-11-29T16:42:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Sequences provided by LEM and sequences depending on an environment","shortMessageHtmlLink":"Sequences provided by LEM and sequences depending on an environment"}},{"before":"d994f4969e900bb9660b5f65bf24e802be726259","after":"69f86554e495c76220ababc19e85913c267e2f82","ref":"refs/heads/master","pushedAt":"2023-11-29T00:32:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"First slide of HoTTEST talk","shortMessageHtmlLink":"First slide of HoTTEST talk"}},{"before":"f7632244547907269c494eb0ad63150ea8bd4f08","after":"d994f4969e900bb9660b5f65bf24e802be726259","ref":"refs/heads/master","pushedAt":"2023-11-23T08:21:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"More notes","shortMessageHtmlLink":"More notes"}},{"before":"5092a3a55a22b18e28aff2ed56360cf5bd5ebc0c","after":"f7632244547907269c494eb0ad63150ea8bd4f08","ref":"refs/heads/master","pushedAt":"2023-09-17T10:26:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"More notes","shortMessageHtmlLink":"More notes"}},{"before":"22667b5becc2c56b38c578acbc8e2203d9683ed5","after":"5092a3a55a22b18e28aff2ed56360cf5bd5ebc0c","ref":"refs/heads/master","pushedAt":"2023-09-15T16:25:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Forgot to check in","shortMessageHtmlLink":"Forgot to check in"}},{"before":"63c346b558c1513507f35d422adb7441f039fc92","after":"22667b5becc2c56b38c578acbc8e2203d9683ed5","ref":"refs/heads/master","pushedAt":"2023-09-15T10:26:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Beginning of notes slides","shortMessageHtmlLink":"Beginning of notes slides"}},{"before":"b29665b9ffc4729fc7c91a95f1a0227bbdc47ac0","after":"63c346b558c1513507f35d422adb7441f039fc92","ref":"refs/heads/master","pushedAt":"2023-09-14T21:20:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Examples and outlook","shortMessageHtmlLink":"Examples and outlook"}},{"before":"0981e3175cfd4754e90f5f42e4bde4aed7fc8ca1","after":"b29665b9ffc4729fc7c91a95f1a0227bbdc47ac0","ref":"refs/heads/master","pushedAt":"2023-09-14T10:25:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"bfac7ff926b0ddd604914de69ce8561fb6d82fd7","after":"0981e3175cfd4754e90f5f42e4bde4aed7fc8ca1","ref":"refs/heads/master","pushedAt":"2023-09-14T09:27:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Instructive(?) examples for KJ","shortMessageHtmlLink":"Instructive(?) examples for KJ"}},{"before":"15cca93fbb8e22ac3d16f8342884e65a39d19ec8","after":"bfac7ff926b0ddd604914de69ce8561fb6d82fd7","ref":"refs/heads/master","pushedAt":"2023-09-12T09:40:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"The ∇-translation","shortMessageHtmlLink":"The ∇-translation"}},{"before":"9caffdf65aaa110076b2a672f9d20f3e226e8bd7","after":"15cca93fbb8e22ac3d16f8342884e65a39d19ec8","ref":"refs/heads/master","pushedAt":"2023-09-12T00:12:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"to do","shortMessageHtmlLink":"to do"}},{"before":"531fd74eee471f3fcb908bcb2133989a271f83ea","after":"9caffdf65aaa110076b2a672f9d20f3e226e8bd7","ref":"refs/heads/master","pushedAt":"2023-09-11T23:57:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Eventually monad and proof translations","shortMessageHtmlLink":"Eventually monad and proof translations"}},{"before":"d4b253837efb636938c13bfa10f3bd7749ff382f","after":"531fd74eee471f3fcb908bcb2133989a271f83ea","ref":"refs/heads/master","pushedAt":"2023-09-11T21:56:35.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Ingredients for forcing","shortMessageHtmlLink":"Ingredients for forcing"}},{"before":"b16afaaf9f7529910713862cef569e901b20b357","after":"d4b253837efb636938c13bfa10f3bd7749ff382f","ref":"refs/heads/master","pushedAt":"2023-09-11T09:41:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Slides for first talk finished","shortMessageHtmlLink":"Slides for first talk finished"}},{"before":"92c26243f66133d9b7a531eb80603978a78871fa","after":"b16afaaf9f7529910713862cef569e901b20b357","ref":"refs/heads/master","pushedAt":"2023-09-11T08:06:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Two concrete examples","shortMessageHtmlLink":"Two concrete examples"}},{"before":"a6d8a3ee8ac5ca3fe83481159cd7311161ea6081","after":"92c26243f66133d9b7a531eb80603978a78871fa","ref":"refs/heads/master","pushedAt":"2023-09-11T01:09:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"What can constructive forcing do for you?","shortMessageHtmlLink":"What can constructive forcing do for you?"}},{"before":"fa213d4a54b0bc2f4f837695b2f9a3258e7050af","after":"a6d8a3ee8ac5ca3fe83481159cd7311161ea6081","ref":"refs/heads/master","pushedAt":"2023-09-11T00:43:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Beginning of Herrsching slides","shortMessageHtmlLink":"Beginning of Herrsching slides"}},{"before":"ffb55488a2124995b2ca237f20102269ac8aa814","after":"fa213d4a54b0bc2f4f837695b2f9a3258e7050af","ref":"refs/heads/master","pushedAt":"2023-08-15T09:03:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"to do","shortMessageHtmlLink":"to do"}},{"before":"463ece9d29ad2d0578a39f7d58a81afc923f1f2f","after":"ffb55488a2124995b2ca237f20102269ac8aa814","ref":"refs/heads/master","pushedAt":"2023-06-29T13:30:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Final version","shortMessageHtmlLink":"Final version"}},{"before":"fff16c628a75525d837b36555a8ea83c3c3f4c92","after":"463ece9d29ad2d0578a39f7d58a81afc923f1f2f","ref":"refs/heads/master","pushedAt":"2023-06-26T08:11:04.932Z","pushType":"push","commitsCount":2,"pusher":{"login":"iblech","name":"Ingo Blechschmidt","path":"/iblech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3661115?s=80&v=4"},"commit":{"message":"Slides for Niš almost finished","shortMessageHtmlLink":"Slides for Niš almost finished"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEl2sF4gA","startCursor":null,"endCursor":null}},"title":"Activity · iblech/internal-methods"}