Should we use branches?

[Makarius]

On 16/05/2025 12:34, Lawrence Paulson via isabelle-dev wrote:
> One thing I've noticed at Amazon is that they insist on a single threaded 
> revision trail. They do this by requiring everybody to make their changes 
> within a personal branch, which they then re-base to the main branch before 
> pushing. Sometimes they also merge adjacent commits. In return for mastering a 
> couple of extra commands, everybody benefits from a much cleaner revision 
> history. Do we want to try this?

No.

Isabelle has a much better culture than most projects out there.

See also README_REPOSITORY.


	Makarius