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

adding 3 more orgs, and fixing some descriptions #260

Merged
merged 2 commits into from Jul 12, 2020
Merged

adding 3 more orgs, and fixing some descriptions #260

merged 2 commits into from Jul 12, 2020

Conversation

@danielskatz
Copy link
Collaborator

danielskatz commented Jul 12, 2020

Description

Motivation and Context

Checklist:

  • I have posted the link for the PR in the usrse slack (#website) to ask for reviewers
  • I have previewed changes locally
  • I have updated the CHANGELOG and (if necessary) the README.md

cc @usrse-maintainers

pages/resources/links.md Outdated Show resolved Hide resolved
Co-authored-by: Vanessasaurus <vsochat@stanford.edu>
@vsoch
Copy link
Member

vsoch commented Jul 12, 2020

okay taking a look at preview version...

@vsoch
vsoch approved these changes Jul 12, 2020
Copy link
Member

vsoch left a comment

LGTM, also checked all the links and they go where advertised!

https://742-120906408-gh.circle-artifacts.com/0/usrse.github.io/links/index.html

@vsoch vsoch merged commit 5a90a5d into master Jul 12, 2020
2 checks passed
2 checks passed
urlcheck
Details
ci/circleci: build-site Your tests passed on CircleCI!
Details
@vsoch vsoch deleted the adding-org-links branch Jul 12, 2020
@danielskatz
Copy link
Collaborator Author

danielskatz commented Jul 12, 2020

thanks

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

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.