From: Ramkumar Ramachandra Date: Wed, 13 Nov 2013 10:04:55 GMT Subject: Re: [PATCH] State correct usage of backticks for options in man pages in the coding guidelines Message-ID: In-Reply-To: <1384316501-27965-1-git-send-email-jstjohn@purdue.edu> Jason St. John wrote: > + Backticks are used around options or commands: > + `--pretty=oneline` > + `git rev-list` You might want to include configuration variables like `remote.pushdefault` here.