Closed davelab6 closed 8 years ago
On 2016-02-01 12:01, Dave Crossland wrote:
To tidy the repo, you can delete the master branch.
|git push origin :master; # remote git branch -D master; # local |
This is the 2nd message from 'Dave Crossland' I received in a row. It seems it was generated by the system. Since one of the changes (.gitattributes) in the pull request wasn't accepted, is there something else I should do before following the instructions above?
Thanks,
Adrian Cheuk 世界少数民族语文研究院 Script Technologist 东亚部字符技师 East Asia Group SIL International 卓耀荣
On 2016-02-01 12:56, Adrian Cheuk wrote:
On 2016-02-01 12:01, Dave Crossland wrote:
To tidy the repo, you can delete the master branch.
|git push origin :master; # remote git branch -D master; # local |
This is the 2nd message from 'Dave Crossland' I received in a row. It seems it was generated by the system. Since one of the changes (.gitattributes) in the pull request wasn't accepted, is there something else I should do before following the instructions above?
Hi Dave,
Sorry for mistaking the message as generated, for I noticed the reply address was something weird & the sender's address started with 'notifications@'. Anyway, given the situation above, if I delete the master branch, will the rejected change in .gitattributes be re-instated instead? Pls. kindly advise.
Thanks,
Adrian Cheuk 世界少数民族语文研究院 Script Technologist 东亚部字符技师 East Asia Group SIL International 卓耀荣
Github has an email interface :)
https://help.github.com/articles/about-notifications/ https://help.github.com/articles/configuring-notification-emails/ https://github.com/blog/811-reply-to-comments-from-email
However, I didn't make a pull request on this repo...
Thanks for the tips! I've applied them.
[x] To tidy the repo, you can delete the master branch.
git push origin :master; # remote git branch -D master; # local