Giters
fastmail
/
mint-tag
Build git tags from labels
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
8
Issues:
12
Forks:
4
fastmail/mint-tag Issues
Missing committer name config causes surprising error
Closed
2 years ago
Consider: be much noisier on failed merge
Closed
4 years ago
Comments count
1
most efficient way to get PRs from GtiHub
Closed
4 years ago
Comments count
1
consider using a shared connection cache
Updated
4 years ago
Comments count
1
investigate fetching only when needed
Closed
4 years ago
correct(?) capitalization of GitHub
Closed
4 years ago
Comments count
1
consider dropping Maybe[]
Closed
4 years ago
Comments count
1
why does approver exist instead of return?
Closed
4 years ago
Comments count
1
consider dying after successful diagnostic merge
Closed
4 years ago
Comments count
1
if we have a default logger prefix, don't use "log"
Closed
4 years ago
compute next mint-tag s.n. schneller
Closed
4 years ago
Comments count
1
consider version in line zero
Closed
4 years ago
Comments count
1