| Overview |
|---|
| Debian Member's Package Overview |
https://qa.debian.org/developer.php?login=micha%40debian.org
|
| Debian Member's Package Overview
... showing all email addresses |
https://qa.debian.org/developer.php?login=Micha+Lenk
|
| Bugs |
|---|
| bugs received
(note: co-maintainers not listed, see #430986) |
https://bugs.debian.org/micha%40debian.org
|
| bugs reported |
https://bugs.debian.org/from:micha%40debian.org
|
| user tags |
https://bugs.debian.org/cgi-bin/pkgreport.cgi?users=micha%40debian.org
|
| bugs.searchall |
http://bugs-search.debian.org/cgi-bin/search.cgi?phrase=Micha+Lenk;search=search
|
| WNPP |
https://qa.debian.org/developer.php?wnpp=micha%40debian.org
|
| correspondent for bugs |
https://bugs.debian.org/cgi-bin/pkgreport.cgi?correspondent=micha%40debian.org
|
| one year open bug history graph |
https://qa.debian.org/data/bts/graphs/by-maint/micha%40debian.org.png
|
| Build |
|---|
| buildd.d.o |
https://buildd.debian.org/status/package.php?p=micha%40debian.org&compact=compact&comaint=yes
|
| Quality Assurance |
|---|
| lintian reports |
https://lintian.debian.org/maintainer/micha%40debian.org.html
|
| full lintian reports (i.e. including "info"-level messages) |
https://lintian.debian.org/full/micha%40debian.org.html
|
| piuparts |
https://piuparts.debian.org/sid/maintainer/m/micha%40debian.org.html
|
| maintainer dashboard |
https://udd.debian.org/dmd.cgi?email1=micha%40debian.org
|
| Debian Janitor |
https://janitor.debian.net/m/micha%40debian.org
|
| Mailing Lists |
|---|
| lists.d.o |
https://lists.debian.org/cgi-bin/search?P="%22Micha+Lenk%22&SORT=0
|
| lists.a.d.o |
https://www.google.com/search?q=site%3Alists.alioth.debian.org+%22Micha+Lenk%22
|
| Files |
|---|
| people.d.o |
https://people.debian.org/~micha/
|
| Membership |
|---|
| NM |
https://nm.debian.org/person/micha
|
| DB information via finger |
finger micha@db.debian.org
|
| DB information via HTTP |
https://db.debian.org/search.cgi?uid=micha&dosearch=Search
|
| Salsa |
https://salsa.debian.org/micha
|
| Wiki |
https://wiki.debian.org/MichaLenk
|
| Miscellaneous |
|---|
| debtags |
https://debtags.debian.org/reports/maint/micha%40debian.org
|
| links |
https://www.google.com/search?hl=en&lr=&q=site%3Adebian.org+%22Micha+Lenk%22+-site%3Anm.debian.org+-site%3Alintian.de...
|
| Planet Debian (name) |
https://planet-search.debian.org/cgi-bin/search.cgi?terms=%22Micha+Lenk%22
|
| Planet Debian (username) |
https://planet-search.debian.org/cgi-bin/search.cgi?terms=%22micha%22
|
| Debian website |
https://www.google.com/search?q=site:www.debian.org+Micha+Lenk
|
| Debian search |
https://search.debian.org/cgi-bin/omega?P=%22Micha+Lenk%22
|
| OpenPGP public key via finger |
finger micha/key@db.debian.org
|
| OpenPGP public key via HTTP |
https://db.debian.org/fetchkey.cgi?fingerprint=A3EBB41FC5ABD675CEE41C45EA6CA6B951B85139
|
| Contribution information |
https://contributors.debian.org/contributor/micha%40debian.org
|
| Repology information |
https://repology.org/maintainer/micha%40debian.org
|
| Information reachable via ssh (for Debian Members) |
|---|
| owned debian.net domains |
ldapsearch -u -x -H ldaps://db.debian.org -b dc=debian,dc=org uid=micha dnsZoneEntry
|
| MIA database information |
ssh qa.debian.org /srv/qa.debian.org/mia/mia-query micha@debian.org
|
| Group membership information |
ssh master.debian.org id micha
|
| ubuntu |
|---|
