Skip to content

Add Archived label#307

Merged
jdorfman merged 1 commit intomainfrom
jd/archive-label
Apr 3, 2023
Merged

Add Archived label#307
jdorfman merged 1 commit intomainfrom
jd/archive-label

Conversation

@jdorfman
Copy link
Copy Markdown
Contributor

@jdorfman jdorfman commented Apr 3, 2023

for #302

Image 2023-04-03 at 1 01 19 PM

@jdorfman jdorfman requested a review from keegancsmith April 3, 2023 20:01
@jdorfman jdorfman self-assigned this Apr 3, 2023
@jdorfman jdorfman merged commit 75b8831 into main Apr 3, 2023
@jdorfman jdorfman deleted the jd/archive-label branch April 3, 2023 20:02
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.

1 participant