From the course: Git Essential Training (2023)

Unlock the full course today

Join today to access over 24,600 courses taught by industry experts.

Push the file to the remote repository

Push the file to the remote repository

From the course: Git Essential Training (2023)

Push the file to the remote repository

- [Instructor] So we now have a file in our local repository that has not been pushed to the remote repository. If we use git status, (keyboard clicks) we can see that our branch locally is ahead of the one remotely, and it actually tells us what we need to do. We need to use git push, let's do that. (keyboard clicks) It has now been pushed to our remote repository. (keyboard clicks) Let's see if we can find it there. So I'll open the web interface here and I'll refresh. An example.txt has been added. And we can see the message we set when we set our commit adds.example.txt. Now in this case, I was already signed in to GitHub from my local device. If you do git push from the first time from a new device you might have to sign in once again, but it will help you through the process.

Contents