I have successfully submitted a PR to a small project. To do so, I first forked the repository, cloned is locally, made a new branch, made some changes, pushed changes back to my forked copy, and submitted the PR.
What is the workflow after submitting the PR?
- Do folks usually delete the PR branch and then pull from the remote (since the
master
on the remote has your changes now + potentially other changes as well)? Or is better to first merge in your own branch and then pull from the remote?
-
I had to create a new Julia environment because
dev
wouldn’t work on myv1.3
environment (mismatch of dependencies). Do folks delete the Julia environment folder or just leave it be. Is there a command inPkg
that will tell us all the environments in.julia/environments/
? -
Follow up from the previous question. Since I
dev
the repo in to a new environment, I don’t really need tofree
it anymore, right? (especially given that I may just delete the entire environment folder). The tagged version is already in my mainv1.3
environment anyways.