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

Update undefined #3797

Merged
merged 3 commits into from
Aug 23, 2022
Merged

Update undefined #3797

merged 3 commits into from
Aug 23, 2022

Conversation

dafeda
Copy link
Contributor

@dafeda dafeda commented Aug 23, 2022 •
edited

Pre review checklist

  • Added appropriate release note label
  • PR title captures the intent of the changes, and is fitting for release notes.
  • Commit history is consistent and clean, in line with the contribution guidelines.

Adding labels helps the maintainers when writing release notes. This is the list of release note labels.

@dafeda dafeda added the release-notes:maintenance Automatically categorise as maintenance change in release notes label Aug 23, 2022
@dafeda dafeda requested a review from pinkwah August 23, 2022 06:58
@dafeda dafeda self-assigned this Aug 23, 2022
@dafeda dafeda merged commit 6c9f13c into equinor:main Aug 23, 2022
@dafeda dafeda deleted the update_undefined branch August 23, 2022 10:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pinkwah pinkwah pinkwah approved these changes

Assignees

@dafeda dafeda

Labels
release-notes:maintenance Automatically categorise as maintenance change in release notes
Projects
SCOUT
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@dafeda @pinkwah