Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Lint #5902

Merged
merged 17 commits into from Aug 19, 2022
Merged

Lint #5902

merged 17 commits into from Aug 19, 2022

Conversation

fregante
Copy link
Member

@fregante fregante commented Aug 6, 2022

No description provided.

Comment on lines -425 to -435
- [Awesome browser extensions for GitHub](https://github.com/stefanbuck/awesome-browser-extensions-for-github) - Awesome list
- [OctoLinker](https://github.com/OctoLinker/OctoLinker) - Navigate across files and packages
- [Notifier for GitHub](https://github.com/sindresorhus/notifier-for-github-chrome) - Shows your notification unread count
- [Mottie's Userscripts](https://github.com/Mottie/GitHub-userscripts) - Countless features to improve GitHub granularly
- [Contributors on GitHub](https://github.com/hzoo/contributors-on-github) - Shows stats about contributors
- [Hide Files on GitHub](https://github.com/sindresorhus/hide-files-on-github) - Hides dotfiles from the file browser
- [GitHub Issue Link Status](https://github.com/fregante/github-issue-link-status) - Colorize issue and PR links to see their status (open, closed, merged)
- [Notifications Preview for GitHub](https://github.com/tanmayrajani/notifications-preview-github) - See your notifications on hover on all pages
- [Show All GitHub Issues](https://github.com/sindresorhus/show-all-github-issues) - Shows both Issues and Pull Requests in the Issues tab
- [Sourcegraph](https://github.com/sourcegraph/sourcegraph/tree/main/client/browser) - Code search and navigation tool
- [PR Monitor](https://github.com/fwouts/prmonitor) - Notifies you about incoming and outgoing PRs
Copy link
Member

Choose a reason for hiding this comment

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

Neat! I always find this part a little bit weird, we are not talking about two or three but (almost) a dozen 😅 .

Copy link
Member Author

@fregante fregante left a comment

Choose a reason for hiding this comment

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

@anyone: feel free to merge at any time

@@ -116,7 +112,7 @@ async function initProjects(): Promise<void | false> {
return;
}

if (await canUserEditOrganization()) {
if (pageDetect.isUserTheOrganizationOwner()) {
Copy link
Member Author

Choose a reason for hiding this comment

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

canUserEditOrganization was renamed in the package because it was incorrect, but this is not the same as isUserTheOrganizationOwner

If anything, we need to add canUserEditOrganization () => select.exists('.btn-primary[href$="repositories/new"]'). We didn't back then because we needed elementReady, which isn't yet available:

Copy link
Member

@kidonng kidonng Aug 16, 2022

Choose a reason for hiding this comment

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

Thanks for explaining, I'm confused as I think if a user can edit organization, they are certainly a owner. Now that I take a look at the actual selector, I think this should be named something else than canUserEditOrganization.

Being able to create a repo only means they have org-wide write access. As an example, the existing canUserEditRepo is checking for a settings tab, which only exists for those who can manage the repo, not just write access.

@fregante fregante marked this pull request as ready for review August 19, 2022 08:56
@fregante fregante merged commit eca69b4 into main Aug 19, 2022
@fregante fregante deleted the if-at-first-you-don't-succed-lint-again branch August 19, 2022 08:58
@fregante
Copy link
Member Author

This PR is ready to go 🚀

Feel free to open a new one as needed

@fregante fregante added the meta Related to Refined GitHub itself label Nov 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta Related to Refined GitHub itself
Development

Successfully merging this pull request may close these issues.

None yet

2 participants