Move repo permissions note to contributing docs

And remove the skip CI note, as it is already noted in CONTRIBUTING.md.
This commit is contained in:
Andrew Schwartzmeyer
2016-03-14 11:18:44 -07:00
parent 2213a64e25
commit 5515c23854
2 changed files with 13 additions and 9 deletions
+13
View File
@@ -34,6 +34,19 @@ git config --global user.email "alias@microsoft.com"
[hello world]: https://guides.github.com/activities/hello-world/
[guides]: https://guides.github.com/activities/hello-world/
## 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 repo (remember
that submodules have their own privilege).
You do *not* necessarily need to have write permissions to the main
repositories, as you can also just [fork a repo][].
[fork a repo]: https://help.github.com/articles/fork-a-repo/
## Rebase and Fast-Forward Merge Pull Requests
Because GitHub's "Merge Pull Request" button merges with `--no-ff`, an extra
-9
View File
@@ -418,12 +418,3 @@ We publish an archive with FullCLR bits on every CI build with [AppVeyor][].
[appveyor]: https://ci.appveyor.com/project/PowerShell/powershell-linux
#Troubleshooting
### Difficulty with push
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 repo (remember that submodules have their own privilege).
#Generally Useful Info
### Skipping build in ci
If you want to skip the CI process (for example, updating docs only), just add `[skip ci]` to your commit change comments