payload: {"push_id":4120255380,"size":37,"distinct_size":36,"ref":"refs/heads/mh/InstallGlobalFunction","head":"f542e00d0cbc64fe6aaff82febf13155b17f481a","before":"4df3047e88287e125e391cc73c580bc7cdf1d195","commits":[{"sha":"319e975449043a5e03114a5e80666a32846613aa","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge pull request #572 from gap-packages/stable-3.1\n\nVersion 3.1.0 release candidate","distinct":false,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/319e975449043a5e03114a5e80666a32846613aa"},{"sha":"d5283ad556e754a38e6c5581bc80bc0739962040","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/d5283ad556e754a38e6c5581bc80bc0739962040"},{"sha":"6970043aa3924b96c82d4d718d0fb9545ee55312","author":{"name":"Murray Whyte","email":"908bb83b9f500f599d9e3b18d62b2ea52f0b52fc@st-andrews.ac.uk"},"message":"updates bibliography","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/6970043aa3924b96c82d4d718d0fb9545ee55312"},{"sha":"042615c97ec0be0154b7d1f832251c8a65a9d048","author":{"name":"Murray Whyte","email":"908bb83b9f500f599d9e3b18d62b2ea52f0b52fc@st-andrews.ac.uk"},"message":"bibliography changed to GAPDoc recommended XML format","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/042615c97ec0be0154b7d1f832251c8a65a9d048"},{"sha":"75f0219e87baf9ff46cf5cfc41cac78d12d560d1","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/75f0219e87baf9ff46cf5cfc41cac78d12d560d1"},{"sha":"ef0296c6e3f776b5ea96dc0a18a726aa18edb0e2","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/ef0296c6e3f776b5ea96dc0a18a726aa18edb0e2"},{"sha":"96ac7443118a28ac69c31be6e97e32cbcab88e6d","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/96ac7443118a28ac69c31be6e97e32cbcab88e6d"},{"sha":"54cbdb46eb8b7431f911ca21cd75f2a88265f0a2","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/54cbdb46eb8b7431f911ca21cd75f2a88265f0a2"},{"sha":"ca99bd76b4e288bc18f0de5860fe29f7aa02700c","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/ca99bd76b4e288bc18f0de5860fe29f7aa02700c"},{"sha":"77499d3349c0ff554e65840befa780bcb60c650d","author":{"name":"Dima Pasechnik","email":"8fff0feb25791f46a48a77e1408101b40c1b0c9e@gmail.com"},"message":"Conditionally install libsemigroups, and drop src/ prefix for its headers (#584)\n\n* remove 'src/' part from libsemigroups headers path\r\n\r\n* add git submodule libsemigroups\r\n\r\n* conditional installation of libsemigroups\r\n\r\nnothing changes if there is no external libsemigroups\r\nknown to pkg-config and matching the version test;\r\nthere is an extra option --with-included-libsemigroups to force\r\nthe use of the included library (it is needed to \"make dist\"\r\nincluding libsemigroups). The included libsemigroups\r\nwill also be used if no external one is good enough.\r\n\r\nDealing with libsemigroups is moved into m4/ subdir macro.\r\n\r\n* Revert \"add git submodule libsemigroups\"\r\n\r\nThis reverts commit 129bb5e6cf864f1d246ef7641a49bc117b3c8267.\r\n\r\n* fix m4\r\n\r\ndo not try to overwrite set variables,\r\ndo proper AC_SUBSTs\r\n\r\n* use BUILT_SOURCES to trigger headers installation\r\n\r\nand fix the path to said headers in m4 file\r\n\r\n* fixed the hardcoded 0.6.1 version\r\n\r\n* Adding a explanation/comment.\r\n\r\n* get rid of one \"cp\"\r\n\r\nthis is now handled by \"make -C libsemigroups install\"\r\n\r\n* switch to --with-external-libsemigroups\r\n\r\nif --with-external-libsemigroups is supplied,\r\nuse it if it is known to pkg-config and is new enough;\r\notherwise use the included version\r\n\r\n* correct location of linked internal libsemigroups.so","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/77499d3349c0ff554e65840befa780bcb60c650d"},{"sha":"0cb94246bb40516459f4e5bcbb1cd823867c1465","author":{"name":"James D. Mitchell","email":"ce67578451e5141d12b3692106c0928e490b8b41@st-andrews.ac.uk"},"message":"kernel: don't configure libsemigroups unless necessary","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/0cb94246bb40516459f4e5bcbb1cd823867c1465"},{"sha":"d9f82c05e88a853929a4d6fca5995b9c575159a8","author":{"name":"ChristopherRussell","email":"de7e80f37702f855a471befb1105d55fb4a5e3cb@st-andrews.ac.uk"},"message":"resolve issue #581: changes made to ActionRank","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/d9f82c05e88a853929a4d6fca5995b9c575159a8"},{"sha":"2aaddaee772de44a6db1fc0cf047e503e3f77a0e","author":{"name":"James D. Mitchell","email":"ce67578451e5141d12b3692106c0928e490b8b41@st-andrews.ac.uk"},"message":"Ignore included libsemigroups","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/2aaddaee772de44a6db1fc0cf047e503e3f77a0e"},{"sha":"b46829c078422a4333efd07f0f85c8c7613d8599","author":{"name":"James D. Mitchell","email":"ce67578451e5141d12b3692106c0928e490b8b41@st-andrews.ac.uk"},"message":"kernel(m4): check PKG_CHECK_MODULES is defined","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/b46829c078422a4333efd07f0f85c8c7613d8599"},{"sha":"df0b347c9cca4dd9fe743e75b873550d8416f380","author":{"name":"James D. Mitchell","email":"ce67578451e5141d12b3692106c0928e490b8b41@st-andrews.ac.uk"},"message":"travis: configure with --with-external-libsemigroups","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/df0b347c9cca4dd9fe743e75b873550d8416f380"},{"sha":"17bb56048dc86f5c51a24c06d480c3725862f4c7","author":{"name":"Dima Pasechnik","email":"8fff0feb25791f46a48a77e1408101b40c1b0c9e@gmail.com"},"message":"document with-external-libsemigroups use","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/17bb56048dc86f5c51a24c06d480c3725862f4c7"},{"sha":"88567ddeb2d43e4f9c792b4141c0929d38a6484b","author":{"name":"Dima Pasechnik","email":"8fff0feb25791f46a48a77e1408101b40c1b0c9e@gmail.com"},"message":"optimising links","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/88567ddeb2d43e4f9c792b4141c0929d38a6484b"},{"sha":"31cd34fa5f159a5db660296016bbcf959ad5a96c","author":{"name":"James D. Mitchell","email":"ce67578451e5141d12b3692106c0928e490b8b41@st-andrews.ac.uk"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/31cd34fa5f159a5db660296016bbcf959ad5a96c"},{"sha":"09449950c2a0937f9773871289fae0f084753fd7","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/09449950c2a0937f9773871289fae0f084753fd7"},{"sha":"b66770b42657bbc829c3e73f482a1ff3ed28cf72","author":{"name":"Wilf Wilson","email":"4cdf0ae5fcd18f742590ea7add3bb90ba01fdc48@wilf-wilson.net"},"message":"Merge branch 'stable-3.1'","distinct":true,"url":"https://api.github.com/repos/fingolfin/Semigroups/commits/b66770b42657bbc829c3e73f482a1ff3ed28cf72"}]}
other: {"actor":{"display_login":"james-d-mitchell"}}