To avoid merge conflicts, it is recommended to do a pull with rebase before pushing your contribution in order to merge latest changes made by other users. Some of the information in the page may be deprecated.ġ. More information on accepting Merge Requests may be found at Accept Merge Request. ![]() Roles are mandated by the technical group who manages the repository and applied by the ETSI Staff. Users with role Master in the repository will be able to accept Merge Requests into the master branch or any of the protected branches. Git push origin local-branch:remote-branchĤ) Create a Merge request against master or your target branch 5) Notify the project leaders 6) Accept and merge the contribution if you want to contribute on the master branch, your newly created branch needs to be based on the latest commit in master.īeginners: Use the online edit area or the Web Ide.Īdvanced users: Edit and commit content in your local repositoryģ) Save your change in your working branch on the server Web Interface Using gitĪssuming you want to push a local-branch onto a remote-branch, you want to use the command: IMPORTANT: Make sure that you are creating a branch on top of the latest version of your target branch.Į.g. Click the New Branch button and fill in the required information. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |