29d7924bf4451069773108dd06207b904a174771
[nit.git] / contrib / github_merge.nit
1 # This file is part of NIT ( http://www.nitlanguage.org ).
2 #
3 # Licensed under the Apache License, Version 2.0 (the "License");
4 # you may not use this file except in compliance with the License.
5 # You may obtain a copy of the License at
6 #
7 # http://www.apache.org/licenses/LICENSE-2.0
8 #
9 # Unless required by applicable law or agreed to in writing, software
10 # distributed under the License is distributed on an "AS IS" BASIS,
11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 # See the License for the specific language governing permissions and
13 # limitations under the License.
14
15 # Query the Github PR API to perform a merge
16 module github_merge
17
18 import github::github_curl
19 import template
20 import opts
21
22 redef class Object
23 # Factorize cast
24 fun json_as_a: JsonArray do return self.as(JsonArray)
25 # Factorize cast
26 fun json_as_map: JsonObject do return self.as(JsonObject)
27 end
28
29 redef class GithubCurl
30 # Get a given pull request (PR)
31 fun getpr(repo: String, number: Int): nullable JsonObject
32 do
33 var ir = get_and_check("https://api.github.com/repos/{repo}/issues/{number}")
34 var irm = ir.json_as_map
35 if not irm.has_key("pull_request") then return null
36 var pr = get_and_check("https://api.github.com/repos/{repo}/pulls/{number}")
37 var prm = pr.json_as_map
38 var sha = prm["head"].json_as_map["sha"].to_s
39 var statuses = get_and_check("https://api.github.com/repos/{repo}/statuses/{sha}")
40 prm["statuses"] = statuses
41 print "{prm["title"].to_s}: by {prm["user"].json_as_map["login"].to_s} (# {prm["number"].to_s})"
42 var mergeable = prm["mergeable"]
43 if mergeable != null then
44 print "\tmergeable: {mergeable.to_s}"
45 else
46 print "\tmergeable: unknown"
47 end
48 var st = prm["statuses"].json_as_a
49 if not st.is_empty then
50 print "\tstatus: {st[0].json_as_map["state"].to_s}"
51 else
52 print "\tstatus: not tested"
53 end
54 return prm
55 end
56
57 # Get reviewers of a PR
58 fun getrev(repo: String, pr: JsonObject): Array[String]
59 do
60 var number = pr["number"].as(Int)
61 var user = pr["user"].json_as_map["login"].as(String)
62 var comments = new Array[nullable Object]
63 comments.add_all(get_and_check("https://api.github.com/repos/{repo}/issues/{number}/comments").json_as_a)
64 comments.add_all(get_and_check("https://api.github.com/repos/{repo}/pulls/{number}/comments").json_as_a)
65 var logins = new Array[String]
66 for c in comments do
67 var cm = c.json_as_map
68 var l = cm["user"].json_as_map["login"]
69 assert l isa String
70 if l != user and not logins.has(l) then logins.add(l)
71 end
72 var res = new Array[String]
73 for l in logins do
74 var u = get_and_check("https://api.github.com/users/{l}").json_as_map
75 if not u.has_key("name") or u["name"] == null or not u.has_key("email")or u["email"] == null then
76 print "No public name/email for user {l}"
77 continue
78 end
79 var r = "{u["name"].to_s} <{u["email"].to_s}>"
80 res.add r
81
82 end
83 return res
84 end
85
86 end
87
88 if "NIT_TESTING".environ == "true" then exit 0
89
90 var opt_repo = new OptionString("Repository (e.g. nitlang/nit)", "-r", "--repo")
91 var opt_auth = new OptionString("OAuth token", "--auth")
92 var opt_query = new OptionString("Query to get issues (e.g. label=ok_will_merge)", "-q", "--query")
93 var opt_keepgoing = new OptionBool("Skip merge conflicts", "-k", "--keep-going")
94 var opts = new OptionContext
95 opts.add_option(opt_repo, opt_auth, opt_query, opt_keepgoing)
96
97 opts.parse(sys.args)
98 var args = opts.rest
99
100 var auth = opt_auth.value or else ""
101 if auth == "" then auth = get_github_oauth
102 if auth == "" then
103 print "Warning: no github oauth token, you can configure one with"
104 print " git config --add github.oauthtoken MYOAUTHTOKEN"
105 end
106
107 var repo = opt_repo.value or else "nitlang/nit"
108
109 var query = opt_query.value or else "labels=ok_will_merge"
110
111 var curl = new GithubCurl(auth, "Merge-o-matic (nitlang/nit)")
112
113 if args.is_empty then
114 # Without args, list `ok_will_merge`
115 var x = curl.get_and_check("https://api.github.com/repos/{repo}/issues?{query}")
116 for y in x.json_as_a do
117 var number = y.json_as_map["number"].as(Int)
118 curl.getpr(repo, number)
119 end
120 return
121 end
122
123 for arg in args do
124 # With a arg, merge the PR
125 var number = arg.to_i
126 var pr = curl.getpr(repo, number)
127 if pr == null then
128 print "Not a PR: {number}"
129 return
130 end
131 var revs = curl.getrev(repo, pr)
132
133 var mergemsg = new Template
134 mergemsg.add "Merge: {pr["title"].to_s}\n\n"
135 mergemsg.add "{pr["body"].to_s}\n\n"
136 mergemsg.add "Pull-Request: #{pr["number"].to_s}\n"
137 for r in revs do
138 mergemsg.add "Reviewed-by: {r}\n"
139 end
140 mergemsg.write_to_file("mergemsg")
141
142 var sha = pr["head"].json_as_map["sha"].as(String)
143 if system("git show -s --pretty=format:%h {sha}") != 0 then
144 print "Commit {sha} not in local repository; did you fetch github?"
145 return
146 end
147 if system("git merge-base --is-ancestor {sha} HEAD") == 0 then
148 print "Is already merged."
149 continue
150 end
151 if system("git merge --no-ff --no-commit {sha}") != 0 then
152 if opt_keepgoing.value then
153 system("git reset --merge")
154 continue
155 end
156 system("cp mergemsg `git rev-parse --git-dir`/MERGE_MSG")
157 print "Problem during merge... Let's do the commit manually."
158 return
159 end
160 system("git commit -F mergemsg")
161 print "The merge is made"
162 mergemsg.write_to(stdout)
163 end
164