git - Understanding pull requests on GitHub: What happens, when the requesting repository is deleted? -
following scenario:
i forked open source repository (github -> project -> fork
). cloned project copy locally, made changes in master branch, commited them, , pushed repository:
$ git clone git@github.com-myusername:myusername/originalprojectname.git ... changes ... $ cd originalprojectname $ git add path/to/changed/file.php $ git commit -m "..." $ push
after started pull request on github. has been marked "good merge" , added milestone: x.y.z
.
where changed code staying? in repo or else? backgroud is: delete repository. so, question: if delete repository on github, changes still available original project or should wait release x.y.z
?
yes, the code still there after delete repo. submit pull-request, github internally adds branch target repo (it creates branch in non-default namespace, don't see those).
since prs cannot deleted, branches exist in target repo indefinitely.
to answer other question: code reside in both fork , target repo (originally, @ least, unless delete fork).
Comments
Post a Comment