From abela at chalmers.se Thu Feb 16 20:58:46 2023 From: abela at chalmers.se (Andreas Abel) Date: Thu, 16 Feb 2023 20:58:46 +0100 Subject: [Agda-dev] Enforcing linear commit history on agda/agda@master Message-ID: Dear Agda co-developers, triggered by my current bisection mess with merge commits in Agda commit history [1], I now - switched off the "Merge" option in PRs - switched on "require linear history" on master Let's see how this goes. I don't know whether this is compatible with our release procedure (ping @asr), but at least for general development this should work. Cheers, Andreas [1] https://github.com/agda/agda/issues/6509#issuecomment-1433569897 -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/