-
-
Notifications
You must be signed in to change notification settings - Fork 770
Rename AppId to ProcessId (v2) #2507
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
Conversation
I will approve this once it passes CI, the general approach looks good to me |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
7005e81
to
749a555
Compare
749a555
to
c03461c
Compare
This is ready to go after #2506. |
Re-opening, GH closed it because the base branch was deleted by bors. |
c03461c
to
bdef8a6
Compare
bors try |
|
netlify passed on #2537 though, despite running after the failure on this PR. And I re-tried netlify 3 times on this PR |
I don't want to wait for netlify. |
Pull Request Overview
This pull request is an update to #2184 which:
AppId
toProcessId
..appid()
to.processid()
.Process.app_id
toProcess.id
.It does not update type names. I'm generally opposed to variable renaming, but that can be added to this PR. It's also more tricky to get correct.
Testing Strategy
travis
TODO or Help Wanted
More renaming maybe? Get rid of all
app*id
in Tock?Documentation Updated
/docs
, or no updates are required.Formatting
make prepush
.