|
Message-ID: <20170102182516.GC1555@brightrain.aerifal.cx> Date: Mon, 2 Jan 2017 13:25:16 -0500 From: Rich Felker <dalias@...c.org> To: musl@...ts.openwall.com Subject: Re: musl new-year's infrastructure resolutions On Mon, Jan 02, 2017 at 07:15:35PM +0100, Solar Designer wrote: > On Mon, Jan 02, 2017 at 11:58:32AM -0500, Rich Felker wrote: > > My experiences with github have been a constant fight with the tools > > rather than having them make things go more smoothly. I don't like the > > weight of the web ui (it's very slow on all systems I access it on), I > > don't like that it doesn't work properly from mobile browsers (e.g. > > line-number links to source files don't work), I don't like how much > > you have to click through to get to the history of a given file or to > > get a link to a specific version, I don't like that it's impossible to > > review large diffs in the web ui (they just timeout loading), etc. I > > also don't like everything they do to make it hard to use FF pulls. > > I am no GitHub expert (am not even much of a user), and based on my > (very limited) experience with it so far I agree with your criticism of > it, but FWIW I recently found that "to get a link to a specific version" > you simply need to press "y": > > https://help.github.com/articles/getting-permanent-links-to-files/ > > "When viewing a file on GitHub, you can press the "y" key to update the > URL to a permalink to the exact version of the file you see." > > and I actually made use of this on a few occasions already. There are > other keyboard shortcuts as well. As the page above says: > > "Tip: Press "?" on any page in GitHub to see all available keyboard > shortcuts." Thanks for the tip! Proving once again that the fastest way to get a solution to a problem is to claim in public that it's not possible... ;-) Rich
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.