+ [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. 167972

Posted by fire2199 in #github at 2017-04-28T16:48:28Z

canton7 : that's nice It worked with git checkout branch, but I had to change into the downloaded directory and I think it extracted the necessary files from the .pack file
+ [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?