Skip to content

Conversation

@wznoinsk
Copy link
Collaborator

let's see if this will be seen in devlake

@fhubik
Copy link
Contributor

fhubik commented Aug 10, 2023

testcomment

@fhubik
Copy link
Contributor

fhubik commented Aug 17, 2023

It's seen in the Devlake, yet our PR's are useless to the MLTC metrics as it needs the merge date of real commit that wen't into the repo, not dummy one that is just "closed" at some point. I think we can close this because of that as this served its purpose.

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.

2 participants