Set Default Push Branch Name

# Introduction

<div class="alert alert-warning" role="alert">
<p>🧑‍💻 New to Git or LabEx? We recommend starting with the <b><a style="color: unset;text-decoration: underline;" href="https://labex.io/courses/quick-start-with-git" target="_blank">Quick Start with Git</a></b> course.</p>
</div>

When working with Git, it is common to push your local changes to a remote repository. By default, Git will push your changes to a branch with the same name as your local branch. However, sometimes you may want to push your changes to a different branch. In this lab, you will learn how to set the default push branch name to the name of the current local branch.