Hi! I've noticed I have push access to the repo.
Wouldn't it be better if we forked the repo and do PR so we can discuss modifications before pushing a change?
Hi @ibesora -- I prefer the pull/merge workflow. While the repository is private, GitHub only allows write-enabled collaborators... there's no way to restrict it read-only.
Hi! I've noticed I have push access to the repo. Wouldn't it be better if we forked the repo and do PR so we can discuss modifications before pushing a change?