AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |
Back to Blog
Git fetch all tags8/8/2023 ![]() īoth tags and branches point to a commit, they are thus aliases for a specific hash and will save you time by not requiring to type in a hash. Git allows you to specify some tags in order to focus on some things in the history. The following command synchronizes branches $ git push origin :remoteBranchNameToDelete $ git checkout -b mylocalbranch origin/maint If you want to create a local branch from a remote branch, use: This assumes that you have a remote repository called "origin". $ git push origin localBranchName:remoteBranchName Update a remote branch (push a local branch into a remote branch): $ git pull origin remoteBranchName:localBranchName Get a remote branch (pull into a local branch): First you might want to know which branches are available: ![]() You might also want to check out remote branches, work on them and check in your local branches. Git clone also works for local repositories:Ĭhecking out remote branches After merging, you can use git push to send your changes to the repository:Ĭhecking out local repositories Once you are done, you might want to check in your changes to the central repository again.įirst you want to do a git pull in case the repository has changed in the meantime and you might have to merge your branch with the repository. You can use all the commands that were introduced in the Single developer basics. $ git clone you have a local copy of that repository. ![]() One way to check out a remote git repository is
0 Comments
Read More
Leave a Reply. |