• aard@kyu.de
    link
    fedilink
    arrow-up
    2
    ·
    1 year ago

    You mentioned a pull request, and that it got edited - which in my workflow is pulling the commit and amending it.

    • JackbyDev@programming.dev
      link
      fedilink
      English
      arrow-up
      1
      ·
      1 year ago

      Okay, I probably misspoke about the technicalities. I opened a pull request, then they made a new commit and closed the PR (like it was an issue) and didn't touch the commit. Hope that makes sense now.