Stream: MetaCoq

Topic: Merge Policy


view this post on Zulip Jason Gross (Jun 19 2023 at 14:12):

What's the merge policy? (Is it fine for me to merge #955 - Add a merge operation for the global env - without review, since it's been almost two months?)


Last updated: Jul 23 2024 at 20:01 UTC