[Agda-dev] Enforcing linear commit history on agda/agda at master

[Andreas Abel]

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/