unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.81k stars 271 forks source link

Make `unsafe.force-push` visible #5459

Open ChrisPenner opened 2 days ago

ChrisPenner commented 2 days ago

Overview

unsafe.push-force exists, but I couldn't find it when I went looking for it, figured we should probably expose it.

The name implies it's unsafe, and most folks know how a force push works anyways.

Implementation notes

Loose ends

I'm not sure if we support push.force-with-lease but IMO it should be the default 🤔