Skip to content

Issue #4283 rewording section - #4289

Merged
janiceilene merged 5 commits into
github:mainfrom
ramizackaryshamir:patch-1
Mar 6, 2021
Merged

Issue #4283 rewording section#4289
janiceilene merged 5 commits into
github:mainfrom
ramizackaryshamir:patch-1

Conversation

@ramizackaryshamir

@ramizackaryshamirramizackaryshamir commented Mar 5, 2021

Copy link
Copy Markdown

Why:

Issue #4283

What's being changed:

Line 80, from:

Users have specific permissions for each repository, so having the GITHUB_TOKEN for one repository grant access to another would impact the GitHub permission model if not implemented carefully.

to

Users have specific permissions for each repository, so allowing the GITHUB_TOKEN for one repository to grant access to another would impact the GitHub permission model if not implemented carefully.

Check off the following:

Issue github#4283 Line 80 has been changed from Users have specific permissions for each repository, so having the GITHUB_TOKEN for one repository grant access to another would impact the GitHub permission model if not implemented carefully.
to
Users have specific permissions for each repository, so allowing the GITHUB_TOKEN for one repository to grant access to another would impact the GitHub permission model if not implemented carefully.

@janiceilenejaniceilene left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👋 @MeetYourCreator Thanks so much for opening a PR to fix up this sentence! Your changes look great and I'll get this merged shortly.

Next time, if you use the syntax closes #4283 in the pull request template, your PR will be automatically linked to the issue you're closing 💖 You can read some more about it in Linking a pull request to an issue. When the issue and PR are linked, then the issue is automatically closed when we merge your PR ✨

We so appreciate your help and passion for GitHub docs!

@janiceilenejaniceilene added actions This issue or pull request should be reviewed by the docs actions team ready to merge This pull request is ready to merge labels Mar 5, 2021
@janiceilene
janiceilene merged commit b607b29 into github:mainMar 6, 2021
@ramizackaryshamir

Copy link
Copy Markdown
Author

Thanks so much @janiceilene! And thank you for the helpful link.

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

actionsThis issue or pull request should be reviewed by the docs actions teamready to mergeThis pull request is ready to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Small rewording required to a sentence about the GITHUB_TOKEN

3 participants

@ramizackaryshamir@janiceilene@shati-patel