-
Notifications
You must be signed in to change notification settings - Fork 24
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.
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
Pr metrics improvements #102
base: dev/mpg/pr-metrics
Are you sure you want to change the base?
Pr metrics improvements #102
Conversation
Signed-off-by: Dave Rodgman <[email protected]>
Signed-off-by: Dave Rodgman <[email protected]>
6366d40
to
005d39e
Compare
Signed-off-by: Dave Rodgman <[email protected]>
Signed-off-by: Dave Rodgman <[email protected]>
Signed-off-by: Dave Rodgman <[email protected]>
pr-metrics/get-pr-data.py
Outdated
@@ -38,4 +39,13 @@ | |||
p.update() | |||
|
|||
with open("pr-data.p", "wb") as f: | |||
pickle.dump(prs, f) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I put this comment here as it does not let me put it in unchanged lines of code:
Nit: Maybe we can change r = g.get_repo("ARMMbed/mbedtls")
from line 18 to r = g.get_repo("Mbed-TLS/mbedtls")
?
@@ -86,7 +91,7 @@ def is_community(pr): | |||
def quarter(date): | |||
"""Return a string decribing this date's quarter, for example 19q3.""" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this comment should be changed now?
git_worktree_path, "visualc", "VS2010" | ||
) | ||
solution_dir = glob.glob(os.path.join( | ||
git_worktree_path, "visualc", "VS*"))[0] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just in case: we are not expecting it to have more than one VS* folder, right? Otherwise this would bring a problem I think
This reverts commit 005d39e.
Signed-off-by: Dave Rodgman <[email protected]>
Signed-off-by: Dave Rodgman <[email protected]>
Adding some fixes/updates to the pr-metrics scripts