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

Implement rename me -> self #1624

Closed
wants to merge 1 commit into from
Closed

Implement rename me -> self #1624

wants to merge 1 commit into from

Conversation

josh11b
Copy link
Contributor

@josh11b josh11b commented Jul 23, 2022

Implements change proposed in #1382

josh11b added a commit to josh11b/carbon-lang that referenced this pull request Jul 23, 2022
@josh11b
Undo implementation of proposal, now in carbon-language#1624
ca8a8b5
@josh11b josh11b mentioned this pull request Jul 23, 2022
Merged
maxmielchen
maxmielchen approved these changes Jul 24, 2022 •
edited
Loading
View reviewed changes
@github-actions
Copy link

We triage inactive PRs and issues in order to make it easier to find active work. If this PR should remain active, please comment or remove the inactive label.
This PR is labeled inactive because the last activity was over 90 days ago. This PR will be closed and archived after 14 additional days without activity.

@github-actions github-actions bot added the inactive Issues and PRs which have been inactive for at least 90 days. label Oct 23, 2022
@github-actions
Copy link

github-actions bot commented Nov 7, 2022

We triage inactive PRs and issues in order to make it easier to find active work. If this PR should remain active or becomes active again, please reopen it.
This PR was closed and archived because there has been no new activity in the 14 days since the inactive label was added.

@github-actions github-actions bot closed this Nov 7, 2022
@josh11b josh11b mentioned this pull request Dec 7, 2022
Merged
josh11b added a commit that referenced this pull request Dec 7, 2022
@josh11b
Implement rename me -> self (#2444)
9c8fd68 
Implements change proposed in #1382

Replaces #1624
@josh11b josh11b deleted the rename branch December 7, 2022 04:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maxmielchen maxmielchen maxmielchen approved these changes

Assignees
No one assigned
Labels
inactive Issues and PRs which have been inactive for at least 90 days.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@josh11b @maxmielchen