Skip to content

Update OBO foundry metadata#2240

Merged
deepakunni3 merged 3 commits intomasterfrom
create-pull-request/patch
Jan 9, 2023
Merged

Update OBO foundry metadata#2240
deepakunni3 merged 3 commits intomasterfrom
create-pull-request/patch

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Recreates all OBO metadata

@github-actions github-actions Bot force-pushed the create-pull-request/patch branch from 230fa92 to 214d1b6 Compare December 14, 2022 05:06
@nlharris
Copy link
Copy Markdown
Contributor

nlharris commented Jan 8, 2023

Why is this still unmerged? Is it now obsolete, or should it be merged?

@deepakunni3
Copy link
Copy Markdown
Member

@matentzn Shall I merge this? I think this PR was auto-generated before the GitHub Actions for updating the metadata was patched to assign me as a reviewer.

@matentzn
Copy link
Copy Markdown
Contributor

matentzn commented Jan 9, 2023

Yes, can you make sure that this is part of the documented duties of your role in the respective sop as well? This pr should always be merged relatively quickly by the metadata steward

@deepakunni3
Copy link
Copy Markdown
Member

Thanks @matentzn! I'll update the SOP 👍

@deepakunni3 deepakunni3 self-requested a review January 9, 2023 17:35
@deepakunni3 deepakunni3 merged commit 006bedf into master Jan 9, 2023
@deepakunni3 deepakunni3 deleted the create-pull-request/patch branch January 9, 2023 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants