tclem
Re:The technology behind GitHub’s new code search
on Monday February 06, 2023 @01:54PM (#34682234)
Yes, we never fully trust the search index so before anything is displayed to the user there are a number of final checks performed to make sure you're actually allowed to see that content.
Another fun example is that your SSO session might have expired. While you technically have access to view the result, we can't show it until you go through the refresh dance to get another valid token.
Re:Tree-sitter: an incremental parsing system for programming tools
on Monday February 22, 2021 @11:32PM (#26233848)
@chrisseaton you are correct, the JSON file is generated. The handwritten parts are:
- https://github.com/tree-sitter/tree-sitter-ruby/blob/32cd5a0... - https://github.com/tree-sitter/tree-sitter-ruby/blob/32cd5a0...
So about 2k loc.
The trickiest (and most verbose) parts of the external scanner have to do with heredocs and the various ways to declare literals (strings, symbols, regexes, etc).
Re:Tree-sitter: an incremental parsing system for programming tools
on Monday February 22, 2021 @11:20PM (#26233778)
So what's cool is that while we don't handle that during parsing, you can use another set of tree-sitter features to do tree queries to achieve this. Here's the query for detecting Ruby locals: https://github.com/tree-sitter/tree-sitter-ruby/blob/32cd5a0... and here's some better documentation for how the query language works: https://tree-sitter.github.io/tree-sitter/syntax-highlightin....
Re:Tree-sitter: an incremental parsing system for programming tools
on Monday February 22, 2021 @11:16PM (#26233763)
Hey thanks! I'm one of the primary developers of this grammar along with @maxbrunsfeld. It was the driving force for supporting an external scanner and while there are still some Ruby edges cases, I'm pretty happy with how it came out. I will say we spent a lot of time on this and I read both the bison Ruby grammar and whitequark's ruby parser (which is excellent) in great detail to understand how to deal with certain parts of the language.
One thing I love about tree-sitter is how both the grammar and the resulting ASTs are so readable. I can come back to this project after months of not contributing and pick up right where I left off.
Re:Announcing Git Large File Storage
on Wednesday April 08, 2015 @08:12PM (#9345028)
A lot of inspiration did come from the git-media project which goes back to at least 2009: https://github.com/alebedev/git-media/commit/705ea59bd98a3d1...
git-bigstore is awesome too though!
Re:The GitHub Developer Program
on Friday March 07, 2014 @12:13PM (#7361388)
GitHub Enterprise is the on-premise version of GitHub.com that you can buy to run on your own servers. If you are in the developer program and building a product that integrates with GitHub Enterprise, we will give you free licenses for dev/test purposes.
Re:The GitHub Developer Program
on Thursday March 06, 2014 @04:38PM (#7356798)
There are some minor differences for integrating with GitHub Enterprise, but just about all the documentation at http://developer.github.com/ applies to both products. While the GitHub.com API is accessed at api.github.com, the API for a GitHub Enterprise install is accessed at yourdomain.com/api/v3/. Definitely shoot us an email if you've got more questions or run into problems: [email protected].
Re:The GitHub Developer Program
on Thursday March 06, 2014 @01:37PM (#7355652)
A personal website is just fine. We're mostly interested in a link to something that you are building or plan to build that integrates with GitHub.
Re:The GitHub Developer Program
on Thursday March 06, 2014 @01:26PM (#7355587)
We currently have no plans to make it harder to use the API if you aren't part of the program. If you are a business that relies on our API, we want to have a better relationship with you because there is a good chance we share a customer base.
Re:Designing GitHub for Windows
on Thursday June 07, 2012 @06:39PM (#4081706)
Send us an email at [email protected] if you are having trouble and we'd love to sort it out.
Re:SSH Key Audit on Github (required)
on Wednesday March 07, 2012 @03:26PM (#3677005)
Did you contact support@github? We definitely want to know about that.