Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Rename User to Name #219

Merged
merged 3 commits into from
Aug 6, 2019
Merged

Rename User to Name #219

merged 3 commits into from
Aug 6, 2019

Conversation

@robrix
Copy link
Contributor

@robrix robrix commented Aug 6, 2019 •
edited
Loading

@robrix robrix requested a review from a team August 6, 2019 15:20
@robrix robrix changed the base branch from scope-graphs to master August 6, 2019 19:08
@robrix robrix merged commit becf320 into master Aug 6, 2019
@robrix robrix deleted the re-name branch August 6, 2019 19:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@patrickt patrickt patrickt approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@robrix @patrickt