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.

Sign up for GitHub

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

Jump to bottom

add projects to searchable tags #534

Merged
merged 2 commits into from Apr 17, 2017
Merged

add projects to searchable tags #534

merged 2 commits into from Apr 17, 2017

Conversation

ahuwaa
Copy link

@ahuwaa ahuwaa commented Jan 21, 2017

Addresses #512

  • Adds project names as tags so they are searchable as well
  • Does not double count projects with a tag matching the project name

@shiftkey
Copy link
Member

@ahuwaa I fixed up the merge conflict from the JS formatting and this seems good to go.

Thanks for contributing!

@shiftkey shiftkey merged commit 5823bfc into up-for-grabs:gh-pages Apr 17, 2017
@waldyrious waldyrious mentioned this pull request Apr 17, 2017
Closed
This was referenced Apr 17, 2017
Merged
Closed
@shiftkey
Copy link
Member

@ahuwaa I had to revert this due to a runtime error reported in #594 - would you be able to look into this and see if we can get this integrated?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@ahuwaa @shiftkey