+ [2019-06-13T17:22:36Z] jlk You might be able to type out their user name, but that may also only auto complete / work if they're attached to the project somehow.
+ [2019-06-13T17:28:48Z] WinchellsM How do I run `git config receive.denyCurrentBranch ignore` in my GitHub repo?
+ [2019-06-13T17:34:47Z] jlk GitHub doesn't support hooks in that way, at least not github.com. GitHub Enterprise does have some support for them.
+ [2019-06-13T21:00:17Z] salad if i push some changes do collaborators get notifications?
+ [2019-06-13T22:56:34Z] jlk that depends on how their notifications are set up. Pushes to a branch doesn't necessarily trigger notifications through the GitHub website necessarily. A webhook can be sent on pushes though.

message no. 173338

Posted by salad in #github at 2019-06-13T21:00:17Z

if i push some changes do collaborators get notifications?
+ [2019-06-14T07:03:30Z] ayaz Silly question: when we use the 'Clone with SSH' URL, does it go over SSH protocol? Or is it different from when we clone repositories over ssh:// URLs?
+ [2019-06-14T12:09:41Z] dmlloyd yes it goes over SSH
+ [2019-06-14T12:10:03Z] dmlloyd I discovered something nifty with project boards
+ [2019-06-14T12:10:30Z] dmlloyd if you add a card tot he board, and the body of the card is just an issue reference, then the issue becomes a card
+ [2019-06-14T12:11:01Z] dmlloyd it doesn't (always?) add the project to the issue though