miniblog.

← Back to all posts
Aug 2, 2013 at 11:12
@GitHubHelp looks like you're escaping some HTML that you shouldn't https://help.github.com/articles/merging-a-pull-request <em> and https://help.github.com/articles/checking-out-pull-requests-locally &lt;
Merging a pull request - GitHub Docs
Merging a pull request - GitHub Docs
Merge a pull request into the upstream branch when work is completed. Anyone with push access to the repository can complete the merge.
Checking out pull requests locally - GitHub Docs
Checking out pull requests locally - GitHub Docs
When someone sends you a pull request from a fork or branch of your repository, you can merge it locally to resolve a merge conflict or to test and verify the changes before merging on GitHub.

Related Posts

Jul 15, 2026 at 18:18
2
Today I learnt about yamllint: if you're using YAML, you can at least ensure you're not suffering from the 'Norway problem':
Rules — yamllint 1.38.0 documentation
Mar 29, 2026 at 13:54
1
The author of rust-analyzer discussing how language features help or hinder fast IDEs. If you allow `from m import *` you can't analyse files in isolation, and it's even harder in Rust.
Against Query Based Compilers
Query based compilers are all the rage these days, so it feels only appropriate to chart some treacherous shoals in those waters.
Mar 20, 2026 at 12:02
223
Excellent series on Self, both the programming model and the tool chain. I love how opening an inspector on a value (e.g. nil) then shows a link to all occurrences of the value in other open inspectors!
Environment and the programming language Self (part one; environment)
Environment and the programming language Self (part one; environment)
I bring you a message about a language that has been at the birth of many others, but almost no one knows it. A rumor of a graphical environment offering options like no other, but almost no one using it. I also bring information about a virtual machine supporting reflection almost to infinity, reaching almost half of the operating power of C in numerical calculations in its time, yet today forgotten.