Hi Pratyus,
On 01/09/2019 12:32, Pratyush Yadav wrote:
Hi Birger,
In case you haven't been following the list, Pat has been inactive
recently, so I am acting as the interim maintainer of git-gui for now,
because no one else stepped up and Junio would rather not maintain it.
You can find my fork over athttps://github.com/prati0100/git-gui. I
munged your patches to apply on my tree (which is separate from the
git.git tree), but it would be great if you base them on my tree next
time around.
Are there any plans or thoughts about creating a more inclusive man page
for the git-gui?
Such things as the Options dialog linkages [1], and how to drive the
command line options are areas I've wondered about over the years.
Not exactly sure how our plain text man pages and formatted HTML would
fare for describing the gui layout and where to click. One thing I am
noting is that these hotkey nicely have numbers so can easily be used
for reference..
Philip
[1]
https://stackoverflow.com/questions/6007823/is-there-a-help-page-for-the-git-gui-options-dialog
