Closed Habbie closed 4 months ago
if approved, whenever the time is right, we drop the second commit, rebase, apply the resulting diff, and then we can merge
Closing, this was done in #60
if approved, whenever the time is right, we drop the second commit, rebase, apply the resulting diff, and then we can merge