{"thread":{"id":"53501","subject":"bug in git remote --help","startedAt":"2020-05-19T10:51:55Z","lastAt":"2020-05-19T10:57:18Z","messageCount":2,"participants":["Ernst Reissner","Denton Liu"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"398185","messageId":"2830ee51-ee11-4acc-ca63-3f510e6bcc1d@arcor.de","threadId":"53501","inReplyTo":null,"subject":"bug in git remote --help","fromName":"Ernst Reissner","fromEmail":"rei3ner@arcor.de","sentAt":"2020-05-19T10:44:38Z","receivedAt":"2020-05-19T10:51:55Z","isPatch":false,"sender":{"key":"rei3ner@arcor.de","avatar":null},"body":"I have git 2.26.2.\n\ngit remote --help\n\nyields\n\nSYNOPSIS\n       git remote [-v | --verbose]\n       git remote add [-t <branch>] [-m <master>] [-f] [--[no-]tags]\n[--mirror=<fetch|push>] <name> <url>\n       git remote rename <old> <new>\n       git remote remove <name>\n       git remote set-head <name> (-a | --auto | -d | --delete | <branch>)\n       git remote set-branches [--add] <name> <branch>...\n       git remote get-url [--push] [--all] <name>\n       git remote set-url [--push] <name> <newurl> [<oldurl>]\n       git remote set-url --add [--push] <name> <newurl>\n       git remote set-url --delete [--push] <name> <url>\n       git remote [-v | --verbose] show [-n] <name>...\n       git remote prune [-n | --dry-run] <name>...\n       git remote [-v | --verbose] update [-p | --prune] [(<group> |\n<remote>)...]\n\n\nwhich does not mention `git remote show <origin>` which actually exists.\n\n\nGreetings,\n\n\nErnst\n\n"},{"id":"398194","messageId":"20200519105713.GA602573@generichostname","threadId":"53501","inReplyTo":"2830ee51-ee11-4acc-ca63-3f510e6bcc1d@arcor.de","subject":"Re: bug in git remote --help","fromName":"Denton Liu","fromEmail":"liu.denton@gmail.com","sentAt":"2020-05-19T10:57:13Z","receivedAt":"2020-05-19T10:57:18Z","isPatch":false,"sender":{"key":"liu.denton@gmail.com","avatar":"https://avatars.githubusercontent.com/u/9620836?v=4"},"body":"Hi Ernst,\n\nOn Tue, May 19, 2020 at 12:44:38PM +0200, Ernst Reissner wrote:\n> I have git 2.26.2.\n> \n> git remote --help\n> \n> yields\n> \n> SYNOPSIS\n>        git remote [-v | --verbose]\n>        git remote add [-t <branch>] [-m <master>] [-f] [--[no-]tags]\n> [--mirror=<fetch|push>] <name> <url>\n>        git remote rename <old> <new>\n>        git remote remove <name>\n>        git remote set-head <name> (-a | --auto | -d | --delete | <branch>)\n>        git remote set-branches [--add] <name> <branch>...\n>        git remote get-url [--push] [--all] <name>\n>        git remote set-url [--push] <name> <newurl> [<oldurl>]\n>        git remote set-url --add [--push] <name> <newurl>\n>        git remote set-url --delete [--push] <name> <url>\n>        git remote [-v | --verbose] show [-n] <name>...\n\nIt's buried in there but doesn't seem to be missing ;)\n\n-Denton\n\n>        git remote prune [-n | --dry-run] <name>...\n>        git remote [-v | --verbose] update [-p | --prune] [(<group> |\n> <remote>)...]\n> \n> \n> which does not mention `git remote show <origin>` which actually exists.\n> \n> \n> Greetings,\n> \n> \n> Ernst\n> \n"}]}