keyvalue
id79552314
namedocker-git-tip
full_namedjoudi5/docker-git-tip
html_urlhttps://github.com/djoudi5/docker-git-tip
descriptionA handy CLI in Docker container to make optimum use of git tips, see: https://github.com/git-tips/tips
created_atJan. 20, 2017, 11:07 a.m.
updated_atJan. 14, 2024, 11:14 p.m.
pushed_atJan. 20, 2017, 4:42 p.m.
size5
stargazers_count11
watchers_count2
forks_count3
open_issues0
languageUnknown languages
awesome_list

https://github.com/git-tips/tips