{"push_id":2389530182,"size":2,"distinct_size":1,"ref":"refs/heads/commitfest/17/944","head":"98b8742d61081dbac85e0b6a9fc96de65ae8adc2","before":"985b8580f24d3dba0969f057472f8e66154034f1","commits":[{"sha":"a63c3274a68832182f84ca5d2b8cc5a7462bdacb","author":{"name":"Tom Lane","email":"9ca635a44fdf5aa326758d8d245579b9ae84653c@sss.pgh.pa.us"},"message":"Fix test_predtest's idea of what weak refutation means.\n\nI'd initially supposed that predicate_refuted_by(..., true) ought to\nsay that \"A refutes B\" means \"non-falsity of A implies non-truth of B\".\nBut it seems better to define it as \"truth of A implies non-truth of B\".\nThis is more useful in the current system, slightly easier to prove,\nand in closer correspondence to the existing code behavior.\n\nWith this change, test_predtest no longer claims that any existing\ntest cases show false proof reports, though there still are cases\nwhere we could prove something and fail to.\n\nDiscussion: https://postgr.es/m/5983.1520487191@sss.pgh.pa.us","distinct":false,"url":"https://api.github.com/repos/postgresql-cfbot/postgresql/commits/a63c3274a68832182f84ca5d2b8cc5a7462bdacb"},{"sha":"98b8742d61081dbac85e0b6a9fc96de65ae8adc2","author":{"name":"Commitfest Bot","email":"aab6a594935fe5db0d690bc154b19f642bfbe9d7@cputube.org"},"message":"[CF 17/944] Logical decoding of two-phase transactions\n\nThis commit was automatically generated by cfbot at commitfest.cputube.org.\nIt is based on patches submitted to the PostgreSQL mailing lists and\nregistered in the PostgreSQL Commitfest application.\n\nThis branch will be overwritten each time a new patch version is posted to\nthe email thread or the master branch changes.\n\nCommitfest entry: https://commitfest.postgresql.org/17/944\nPatch(es): https://www.postgresql.org/message-id/CAMGcDxf9HHmDOti4-DSQTtGo48R4OMki%2BBktPn2uTOtGr4XomQ%40mail.gmail.com\nAuthor(s): Stas Kelvich, Nikhil Sontakke","distinct":true,"url":"https://api.github.com/repos/postgresql-cfbot/postgresql/commits/98b8742d61081dbac85e0b6a9fc96de65ae8adc2"}]}
{"actor":{"display_login":"postgresql-cfbot"}}