{"push_id":1294866201,"size":124,"distinct_size":1,"ref":"refs/heads/development","head":"906008c5bc54b6faeb8792493cc9f4156304ebd4","before":"b999da0a712d7cc07693df83b721e9facb820506","commits":[{"sha":"4d282e6156ad367d5985887f1b2ccc2e7f652921","author":{"name":"Stef Joosten","email":"6fcb75414bc03efc37f2b9338502c844bdfab1b0@ou.nl"},"message":"Work on Formal Ampersand is better off in a separate branch","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/4d282e6156ad367d5985887f1b2ccc2e7f652921"},{"sha":"59a47a166791f75045e26a86cf40444d2e586bcb","author":{"name":"Stef Joosten","email":"6fcb75414bc03efc37f2b9338502c844bdfab1b0@ou.nl"},"message":"documented Table.adl somewhat further","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/59a47a166791f75045e26a86cf40444d2e586bcb"},{"sha":"67204b20f986ff761d38829d3c766cf7548e1f39","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Adding explicit Signs to relations in formalampersand.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/67204b20f986ff761d38829d3c766cf7548e1f39"},{"sha":"eb100cf2e598c1de6c34b9fe6dd51adaff45f43a","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"WIP","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/eb100cf2e598c1de6c34b9fe6dd51adaff45f43a"},{"sha":"467fd3a2bbe0b580613b91d7b754119ce95074b7","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"WIP","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/467fd3a2bbe0b580613b91d7b754119ce95074b7"},{"sha":"cc342a6c486a01f1337b6242b7421e1077a81776","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"WIP","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/cc342a6c486a01f1337b6242b7421e1077a81776"},{"sha":"41385d6befc5fb37613107cdadce601fe230174f","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Explicitly add the signature at all places where a relation is being used.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/41385d6befc5fb37613107cdadce601fe230174f"},{"sha":"a2f0518fc62b369043e52b57d8e778823385fa70","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Added interfaces[Role*Interface]","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/a2f0518fc62b369043e52b57d8e778823385fa70"},{"sha":"1aee9689ba21875cdcdc52fefa96fc3d9fa696c3","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Removed authorization from formalAmpersand. It is not core stuff.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/1aee9689ba21875cdcdc52fefa96fc3d9fa696c3"},{"sha":"6e54e6245cacda11d53f9fad73b98bc042f813e5","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"reverse accidental staged file","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/6e54e6245cacda11d53f9fad73b98bc042f813e5"},{"sha":"e0a80e228237832b50847eb8a3a59677af7967ca","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Merge branch 'development' into feature/meatgrinder","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/e0a80e228237832b50847eb8a3a59677af7967ca"},{"sha":"3af26314f610630c1e46323b3edeadef7ed3a1c4","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Work on Expressions / Relation / Rules in FormalAmpersand.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/3af26314f610630c1e46323b3edeadef7ed3a1c4"},{"sha":"8e5a1beef88ecc42b4308b5caeb9ea2d025556ed","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"More work on meatgrinder","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/8e5a1beef88ecc42b4308b5caeb9ea2d025556ed"},{"sha":"c74b4a24677d215f268ed368137cc9123125ae05","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Made default behaviour to generate meta-info into the model. This has been discussed with @StefJoosten, who requested this behaviour to be the default.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/c74b4a24677d215f268ed368137cc9123125ae05"},{"sha":"ee3b162ae86fe863d84b974c6f983c094337ca7c","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Singleton cannot contain an atom, since the relations l[Pair*Atom] and r[Pair*Atom]  are SUR.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/ee3b162ae86fe863d84b974c6f983c094337ca7c"},{"sha":"065c2eaedbeb414fdc62c0b762d1c8f5ceb4bc36","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Added interfaces[Context*Interface]  to meta-info.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/065c2eaedbeb414fdc62c0b762d1c8f5ceb4bc36"},{"sha":"36d21b30e871fedbe2161b44457f84fba706a836","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Merge branch 'development' into feature/meatgrinder\n\n# Conflicts:\n#\tReleaseNotes.md","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/36d21b30e871fedbe2161b44457f84fba706a836"},{"sha":"05f593920c102ca7871ee79f9ad70015fdd88a6f","author":{"name":"Han Joosten","email":"9fce86a139b4e57e98dc3038b3a60eedc30bea18@gmail.com"},"message":"Enabled --validate on Windows.","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/05f593920c102ca7871ee79f9ad70015fdd88a6f"},{"sha":"77ea71559e872f0c7a6c1ff95fa52f803d0bc349","author":{"name":"Joosten","email":"03ee377902e6f176415b99da2ef3698c2ba78e8a@ordina.nl"},"message":"Merge branch 'development' into feature/meatgrinder\n\n# Conflicts:\n#\tReleaseNotes.md","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/77ea71559e872f0c7a6c1ff95fa52f803d0bc349"},{"sha":"93270ffbcfd792b7c28835845d1c8fa67dd72d57","author":{"name":"Joosten","email":"03ee377902e6f176415b99da2ef3698c2ba78e8a@ordina.nl"},"message":"Extended diagnostic info when invariants are present","distinct":false,"url":"https://api.github.com/repos/AmpersandTarski/Ampersand/commits/93270ffbcfd792b7c28835845d1c8fa67dd72d57"}]}
{"actor":{"display_login":"hanjoosten"}}