From 15c14e0f71ce9e93ae0a671edc9a297dbc06c9a7 Mon Sep 17 00:00:00 2001 From: Dongbo Wang Date: Wed, 17 Aug 2016 10:06:25 -0700 Subject: [PATCH] remove obsolete 'Permission' section from 'docs/git/basics.md' (#1843) --- docs/FAQ.md | 2 +- docs/git/basics.md | 15 --------------- 2 files changed, 1 insertion(+), 16 deletions(-) diff --git a/docs/FAQ.md b/docs/FAQ.md index d8ca664c15..a04ae9a0cd 100644 --- a/docs/FAQ.md +++ b/docs/FAQ.md @@ -80,7 +80,7 @@ You can automatically install this using `Start-PSBootstrap`. If you have installed by using any of the following means: -- MSI +- `MSI` - `exe` - `apt-get` - `pkg` diff --git a/docs/git/basics.md b/docs/git/basics.md index 1a4bd81774..71bf0327fe 100644 --- a/docs/git/basics.md +++ b/docs/git/basics.md @@ -88,18 +88,3 @@ git config --global url.git@github.com:.insteadOf https://github.com/ [SSH key]: https://help.github.com/articles/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent/#generating-a-new-ssh-key [token]: https://help.github.com/articles/creating-an-access-token-for-command-line-use/ [manager]: https://github.com/Microsoft/Git-Credential-Manager-for-Windows - - -Permissions ------------ - -If you have difficulty in pushing your changes, there is a high probability that -you actually don't have permissions. - -Be sure that you have write access to corresponding repository (remember that -submodules have their own privilege). - -Your should push to this repository instead of a fork so that the CI system can -provide credentials to your pull request. If you make a pull request from a -fork, the CI *will* fail. -