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.
Revert Pull Request
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.
- Reverting the pull request causes merge conflicts
- The original pull request was not originally merged on GitHub. For example, someone could have merged the pull request using a fast-forward merge on the command line.
For more information about using Git to manually revert individual commits, see Git revert in the Git documentation.
Create and Clone Repos
- Add remote repositories by URL under ADD
- Create local repositories
- Clone remote repositories to Local GitHub folder
...
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
...