Reputation: 110960
I need to be able to change my local repository to a particular tag, make a change, push the change and then git pull the tag+change on the production server. Here's where I'm stuck.
Switch local repo to a particular tag
git checkout v5.86
Code changed on local repo
Push the tag to the production server?
I tried git push but that said "Everything up-to-date" which is wrong? My change wasn't pushed to Github.
How to pull the update to another server?
Can I push the change to the tag?
Thanks.
Upvotes: 2
Views: 2820
Reputation: 95644
Without any parameters, git push
will push every "matching" branch that exists on both your server and the remote server, or everything under git config remote.origin.push
if you've set it up that way.
Try git push tag v5.86
, or git push --tags
.
Read more about:
Upvotes: 3