Skip to content

hub: add github cli tool v1.12.3 #1209

Merged
merged 1 commit into from
Aug 27, 2019
Merged

hub: add github cli tool v1.12.3 #1209

merged 1 commit into from
Aug 27, 2019

Commits on Aug 23, 2019

  1. [hub] add github cli tool v1.12.3

    Hub is a tool that wraps git in order to extend it with extra
    functionality that makes it better when working with GitHub.
    
    see https://github.com/github/hub
    wwwutz committed Aug 23, 2019
    Configuration menu
    Copy the full SHA
    eb97b11 View commit details
    Browse the repository at this point in the history