+[2019-06-13T17:22:36Z]jlkYou 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]WinchellsMHow do I run `git config receive.denyCurrentBranch ignore` in my GitHub repo? +[2019-06-13T17:34:47Z]jlkGitHub 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]saladif i push some changes do collaborators get notifications? +[2019-06-13T22:56:34Z]jlkthat 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.
Do I have to add the person to the project in some way?
+[2019-06-14T07:03:30Z]ayazSilly 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]dmlloydyes it goes over SSH +[2019-06-14T12:10:03Z]dmlloydI discovered something nifty with project boards +[2019-06-14T12:10:30Z]dmlloydif 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]dmlloydit doesn't (always?) add the project to the issue though