@asifamin13 actually I can't do it because I don't have permission to push to your branch.
If you want to try it out, I would think you'd have to do this: 1. Close #1241 (GitHub doesn't like 2 PRs referring to the same branch) 2. Recover this PR with `git push -f asifamin13 1e9a8b0c32d15c27ba448e689545c0bc5c9b97aa:bracketcolors_v1` (assuming the remote to your own fork is *asifamin13*) 3. Reopen this PR 4. Re-add your latest changes: `git push -f asifamin13 bracketcolors_v1`.
Do not pull in between the steps, as step 2 is restoring your old state temporarily for GitHub's sake, and step 4 is trying to re-put your new changes there.
But again, if you're feeling out of your depth, there are two options: * allow maintainers to push to your PR * don't worry and accept that it's the cost of learning
github-comments@lists.geany.org