diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 675342f4f1..b39d95d7d6 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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 diff --git a/README.md b/README.md index 0210ad252d..d461e754c6 100644 --- a/README.md +++ b/README.md @@ -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 -