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

Give flag items in credential record more descriptive names #1813

Merged
merged 1 commit into from
Nov 16, 2022

Conversation

emlun
Copy link
Member

@emlun emlun commented Oct 6, 2022

Fixes #1811. See also: #1807 (review).


Preview | Diff

@emlun emlun requested a review from MasterKale October 6, 2022 08:07
@emlun emlun self-assigned this Oct 6, 2022
@MasterKale
Copy link
Contributor

This looks good to me :shipit:

@emlun emlun merged commit 5da1697 into main Nov 16, 2022
@emlun emlun deleted the issue-1811-credential-record-flag-names branch November 16, 2022 20:07
github-actions bot added a commit that referenced this pull request Nov 16, 2022
…ames

SHA: 5da1697
Reason: push, by emlun

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Give flag attributes in [=credential record=] more descriptive names
4 participants