+ [2017-02-01T18:35:53Z] Taggnostr or if it's not possible, disabling the automatic linking should also work (is the link created if the corresponding issue doesn't exist?)
+ [2017-02-01T18:36:13Z] Taggnostr (also are the numbers shared between issues and PRs?)
+ [2017-02-01T18:36:53Z] Taggnostr nedbat, that might work if it's possible, but perhaps only in the PR messages, not in PR titles and commit messages
+ [2017-02-01T18:37:03Z] nedbat Taggnostr: true
+ [2017-02-01T18:48:36Z] Taggnostr nedbat, I sent an email to core-workflow, thanks for the suggestion!

message no. 162585

Posted by JZA in #github at 2017-02-01T02:34:23Z

hi how can I modify a filename without having to make a mess out of the logs? I have a file with a different extension that I want to change I am afraid if I rename it and add it to git it will clone the fil einto a different item on the master
+ [2017-02-02T14:21:00Z] jabberwock Hi. Is there a text_match search in the API that allows me to specify a repository? (As opposed to working backgrounds from the result -> repository -> owner)
+ [2017-02-02T16:56:36Z] DolphinDream i forked a repo.. made changes to master, made a pull request which was accepted (merged into the origina repo).. what do i do next with my forked repo (considering i'm still developing and plan to make more pull requests). Do I pull the merged changes from the original repo in to my forked repo ?
+ [2017-02-02T17:50:19Z] gitinfo DolphinDream: [!pull_upstream] To incorporate changes from an "upstream" or forked-from repository: git remote add upstream $URL; git fetch upstream; git merge upstream/$BRANCH. https://help.github.com/articles/syncing-a-fork/
+ [2017-02-02T17:50:19Z] tobiasvl DolphinDream: yes. !sync