{"push_id":3155016310,"size":5,"distinct_size":1,"ref":"refs/heads/master","head":"8d41928c9f0bb54ed41e3ab0d7a6f76d556bb588","before":"525d174b6e6f966e95b3c1f649c8b83ef52abd75","commits":[{"sha":"7492a1ae8422b3f996f844ae96376c3f88d82e13","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"warn when using auto template, funind never uses template poly\n\nThe warning can be avoided with the attributes, (or just disable the\nwarning itself I guess).","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/7492a1ae8422b3f996f844ae96376c3f88d82e13"},{"sha":"8202a6394425bfd8db22966fe0ef83441d7b5d04","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Put #[universes(template)] on all auto template spots in stdlib","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/8202a6394425bfd8db22966fe0ef83441d7b5d04"},{"sha":"a616310f3896091982518772f59b9f9a8540e1d2","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Put #[universes(template)] in outputs tests","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/a616310f3896091982518772f59b9f9a8540e1d2"},{"sha":"0a25e351d6a2d25e5d82b165843a09a2804fadc6","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Add CHANGES for auto-template warning.","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/0a25e351d6a2d25e5d82b165843a09a2804fadc6"},{"sha":"8d41928c9f0bb54ed41e3ab0d7a6f76d556bb588","author":{"name":"Pierre-Marie Pédrot","email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr"},"message":"Merge PR #8488: Warning when using automatic template polymorphism","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/8d41928c9f0bb54ed41e3ab0d7a6f76d556bb588"}]}
{"actor":{"display_login":"SkySkimmer"}}