AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

No Squash and Merge on this Repo #145

Closed jpfairbanks closed 6 months ago

jpfairbanks commented 6 months ago

@olynch, we have squash and merge disabled on this repo. I find that very handy as an option for situations like #142 where it is a 1 commit PR and the second commit is "address PR feedback". We can squash those in the interface rather than requiring the author to do a local rebase and push -f to rewrite the history. Can we enable squash and merge?

olynch commented 6 months ago

Sure