The body of a pull request does not seem to be editable after it is created, unlike issues. This would be a useful feature.
Monorepo for Tangled
tangled.org
Feature: edit pull descriptions #345
closed
opened by
Aha thanks - I did search but the term was "editing", not "edit"!
duplicate of https://tangled.org/tangled.org/core/issues/175
This is definitely a planed feature! We are in process of completely redesigning current PR models.