• aardA
    link
    29 months ago

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

    • JackbyDev
      link
      fedilink
      English
      19 months 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.