I've asked my coworkers to corroborate this experience and several of us have the same issue. When navigating on a PR, very often when hitting the browser back button to go from the files tab back …
Read moreThe primary intention for this would be to disable copilot in sensitive repositories (including non-GH). This would make it easy to ensure any policy around copilot use is followed.
Other options c…
Read moreHow to delete a citation.cff file if I enter wrong DOI?
GitHub Copilot used open source code for the training of the product. That means that it should be free for people to use. It would also allow the most amount of people to use it to make their code…
Read moreI have cloned the files from P4 to local and getting below error while pushing into GitHub. I tried with LFS too and able to push only specific files, but one of my repository having different kind…
Read moreHello,
I kind of use PRs to validate deploys to environments:
So after i create a new release, via github releases, i get a tag, lets say v1.1.1.
If i want to deploy v1.1.1 to the production enviro…
Read moreMy University (UAF) has not provided me with any email. But when I go to GitHub Education they require me to put the email issued by the university. I am totally confused about what to do next.
I h…
Read moreIronically I can't attach a screenshot to this discussion because I can't upload any issues to the Github comment box. Whether I use drag and drop or the file picker, the outcome is the same:
Read moreSome…
Hi everyone, apologies if this is repeating a topic discussed already.
Can I give read-only access to my private repo, to someone who is not a collaborator at present? Can I share a url, or add so…
Read moreIn a private repository, repository owners can only grant write access to collaborators. Collaborators can’t have read-only access to repositories owned by a user account. More information about pe…
Read more