diff --git a/conf/contributors.xml b/conf/contributors.xml
index 436c6ea2..d647c541 100644
--- a/conf/contributors.xml
+++ b/conf/contributors.xml
@@ -2103,6 +2103,7 @@ Please keep the list in alphabetical order by last name!
trac="mkohlhase"/>
-
%s" % d)
td.appendChild(d_el.firstChild)
- if len(trac) == 0:
- trac = dev
- trac = trac.replace(" ", "%20")
a = devmap.createElement("a")
- a.setAttribute("href", tracSearch + trac)
+ tracQuery = f"https://trac.sagemath.org/query?"
+ main_trac = None
+ trac_list = [t.strip() for t in trac.split(',') if t.strip()]
+ gh_trac_list = [f'gh-{gh.strip()}' for gh in github.split(',') if gh.strip()]
+ for trac in trac_list + gh_trac_list:
+ if not main_trac:
+ main_trac = trac
+ tracQuery += f"&or&cc=~{trac}"
+ tracQuery += f"&or&reporter=~{trac}"
+ tracQuery += f"&or&owner=~{trac}"
+ for name in [dev] + altnames.split(','):
+ name = name.strip()
+ if not name:
+ continue
+ tracQuery += f"&or&author=~{name}"
+ tracQuery += f"&or&reviewer=~{name}"
+ tracQuery += "&max=500&col=id&col=summary&col=author&col=status&col=priority&col=milestone&col=reviewer&order=priority"
+ tracQuery = tracQuery.replace(" ", "%20")
+ a.setAttribute("href", tracQuery)
a.setAttribute("class", "trac")
- #a.setAttribute("target", "_blank")
- a.appendChild(devmap.createTextNode("contributions"))
+ if main_trac:
+ a.appendChild(devmap.createTextNode(f"contributions (trac: {main_trac})"))
+ else:
+ a.appendChild(devmap.createTextNode(f"contributions (trac)"))
td.appendChild(devmap.createElement("br"))
td.appendChild(a)
@@ -189,6 +211,8 @@ def getGeo(loc):
CSV Geo returns: [200,6,42.730070,-73.690570]
[retcode,accuracy,lng,lat]
"""
+ if not gkey:
+ return None
loc = loc.replace(" ", "+")
loc = quote(loc.encode('UTF-8'))
print(loc, ">>>", end="")