| Table of Contents |
|---|
...
| Reference_description_with_linked_URLs_______________________ | Notes______________________________________________________________ |
|---|---|
| m Github scm | |
| https://git-scm.com/docs | Git documentation |
| https://guides.github.com/activities/hello-world/ | Github basics - example |
| https://help.github.com/en/github/authenticating-to -github/connecting-to-github-with-ssh | Github connection setup with SSH |
| https://desktop.github.com/ | download Github desktop |
| https://docs.github.com/en/free-pro-team@latest/desktop | GitHub desktop docs online |
| github-4-dummies-v2-2023 link |
Learn Github basics - Hello World Tutorial
...
| pull requests make it easy to review changes with team mates prior to a merge to master branch |
|---|
Nice edits! Now that you have changes in a branch off of Pull Requests are the heart of collaboration on GitHub. When you open a pull request, you’re proposing your changes and requesting that someone review and pull in your contribution and merge them into their branch. Pull requests show diffs, or differences, of the content from both branches. The changes, additions, and subtractions are shown in green and red. As soon as you make a commit, you can open a pull request and start a discussion, even before the code is finished. You can even open pull requests in your own repository and merge them yourself. It’s a great way to learn the GitHub flow before working on larger projects. |
Click pull requests tab to open new pull request
...
Under the github repo, select pull requests tab
select the pull request, below the comment box, click Close pull request.
Optionally, delete the branch
- find the closed pull requests
click the pull request that's associated with the branch that you want to delete.
Near the bottom of the pull request, click Delete branch.
...
Reverting a pull request on GitHub creates a new pull request that contains one revert of the merge commit from the original merged pull request.
Note: You may need to revert the individual commits in your pull request if either of the following is true.
...
Tip: When you revert multiple commits, it's best to revert in order from newest to oldest. If you revert commits in a different order, you may see merge conflicts.
Steps
- In Github repo history tab
- select the commit to revert
- RB menu > Revert this commit
Git Documentation
...