i've had pr open few days that's little stale. i've been asked close it, make changes, re-open.
i'm not sure how however-- , current pull request has 5 commits it.
should open new branch, make new modifications, submit pr there? if so, how can pr have other 5 commits in it? if there better ways i'd interested know.
a pull request is, effectively, 1 person requesting branch make way branch, you're dealing branches @ git level.
at github level, can close pr without deleting branch, want here.
how proceed depends on history want. note i'm invoking these local git standpoint, github interaction need concerned pr.
if want continue work need , reopen pr, work on branch directly. still have other commits branch don't run risk of getting lost.
it means 1 less branch keep track of mentally, , 1 less branch delete when of work merged up. lastly, keeps commit history cleaner, there no unnecessary merge commits lingering around.
if want branch off of branch, that's option - create branch would, work, , submit pr. branch have other commits on it, don't run risk of getting lost.
