Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Joshua Yanovski
iris-coq
Commits
e1067d01
Commit
e1067d01
authored
Feb 24, 2016
by
Ralf Jung
Browse files
extractor can now automatically fetch missing new commits
parent
500176fd
Changes
1
Hide whitespace changes
Inline
Side-by-side
benchmark/gitlab-extract.py
View file @
e1067d01
...
...
@@ -3,6 +3,12 @@ import argparse, pprint, subprocess, sys
import
requests
import
parse_log
def
last
(
it
):
r
=
first
(
it
)
# errors out if it is empty
for
i
in
it
:
r
=
i
return
r
def
first
(
it
):
for
i
in
it
:
return
i
...
...
@@ -32,6 +38,13 @@ parser.add_argument("-c", "--commits",
args
=
parser
.
parse_args
()
log_file
=
sys
.
stdout
if
args
.
file
==
"-"
else
open
(
args
.
file
,
"a"
)
# determine commit, if missing
if
args
.
commits
is
None
:
if
args
.
file
==
"-"
:
raise
Exception
(
"If you do not give explicit commits, you have to give a logfile so that we can determine the missing commits."
)
last_result
=
last
(
parse_log
.
parse
(
open
(
args
.
file
,
"r"
),
[]))
args
.
commits
=
"{}..origin/master"
.
format
(
last_result
.
commit
)
projects
=
req
(
"projects"
)
project
=
first
(
filter
(
lambda
p
:
p
[
'path_with_namespace'
]
==
args
.
project
,
projects
.
json
()))
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment