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

Add label to highest-rated comment #2177

Merged
merged 4 commits into from Jun 26, 2019

Conversation

lubien
Copy link
Contributor

@lubien lubien commented Jun 26, 2019

@lubien
Copy link
Contributor Author

lubien commented Jun 26, 2019

// @Lemmmy @bfred-it

source/features/highest-rated-comment.tsx Outdated Show resolved Hide resolved
source/features/highest-rated-comment.tsx Outdated Show resolved Hide resolved
@fregante fregante changed the title Add 'Highest-rated comment' label Add label to highest-rated comment Jun 26, 2019
@fregante fregante merged commit 303b8fe into refined-github:master Jun 26, 2019
@fregante
Copy link
Member

fregante commented Jun 26, 2019

Thanks @lubien 🌽

@Lemmmy
Copy link

Lemmmy commented Jun 26, 2019

That's great, much better 😄 thanks @lubien and @bfred-it! Awesome extension.

@lubien lubien deleted the highest-rated-comment branch June 26, 2019 17:04
@fregante
Copy link
Member

fregante commented Jul 8, 2019

Please run this to delete the tags from your fork and locally, we keep pulling them from old forks and pushing some troublesome ones back to this repo

git tag -l | xargs git tag -d
git ls-remote --tags --refs origin | cut -f2 | xargs git push origin --delete

@lubien
Copy link
Contributor Author

lubien commented Jul 9, 2019

Please run this to delete the tags from your fork and locally, we keep pulling them from old forks and pushing some troublesome ones back to this repo

git tag -l | xargs git tag -d
git ls-remote --tags --refs origin | cut -f2 | xargs git push origin --delete

Done.

@fregante
Copy link
Member

Thank you ^_^

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants