Updating already-created PRs

[abhishekmukherg]

Hey y'all! Was wondering what the recommended approach to updating a pull request would be. I think the workflows that might want to be supported are

1. Re-init search results with updated repository list

2. Re-plan changes on latest main branch of repositories

3. Re-plan with updated command

   1. This should also support repositories which have already merged an original plan. In other words, the order of operations that one might have are

      1. Use microplane init, plan, push
      2. Get the PR merged
      3. Realize the plan was incomplete, rerun mp plan with new updated command
      4. Create new PR with new changes

   I think right now I think this results in

   2022/11/18 12:18:34 foo/bar - already merged
   

How much of that already Just Works? If someone points me in the direction, would love to contribute what I can to make the gaps filled :)