Closed wcarmon closed 2 weeks ago
For the next time: you don't have to close a PR when it is not complete. You can edit the description in GitHub interface. The code can be changed by amending the git commit and force pushing that to your branch.
For the next time: you don't have to close a PR when it is not complete. You can edit the description in GitHub interface. The code can be changed by amending the git commit and force pushing that to your branch.