+ [8 years ago] fire2199 I initially tried without changing and it didn't work; I then searched a bit and found how to use the checkout command
+ [8 years ago] kang0 (kang0) Can you suggest me some softwares for my new laptop
+ [8 years ago] _6a68 Hey githubbers, could you exclude SVG diffs from line change counts in PRs?
+ [8 years ago] _6a68 See this PR: https://github.com/mozilla-services/screenshots/pull/2769/files
+ [8 years ago] _6a68 It says there are about 1700 lines in the diff, but 1100ish are just lines in newly added SVG images

message no. 167937

Posted by faLUCE in #github at 2017-04-28T13:30:32Z

Hello. How can I promote my github project on google?
+ [8 years ago] grahamperrin[m] At the repo level: is there no way to list issues to which I am subscribed?
+ [8 years ago] c3l How do I mark a pull request 'merged' if I merge manually from the command line?
+ [8 years ago] c3l Someone made a pull request and I want to modify some things, and change the commit message. I can pull it, --amend my changes and then push. But then the PR wont be tagged as 'Merged'. How to deal with this?
+ [8 years ago] giampaolo hello, when I receive a PR from users I would like to #1 checkout the change locally without merging it into master (for testing) #2 make commits and push them so that they get included in that same PR - how can I do that?