Skip to content
#

GitHub

github logo

GitHub makes it easier for developers to be developers: to work together, to solve challenging problems, to create the world’s most important technologies.

Here are 1,539 public repositories matching this topic...

nikitavbv
nikitavbv commented Dec 12, 2017

Currently if you try to clone a repository from github and you don't have any ssh keys configured at github, you will fail to clone and get such message:

Fatal error: fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Even Permission denied (publickey). message is not shown.

@guyzmo offered to "suggest a

jberkus
jberkus commented Aug 16, 2021

The way it is now:

If collecting commit data fails due to a git checkout error (e.g. permissions error on the repo directory, missing git executable, etc.), the Repo nevertheless gets marked as "Update" and no attempt is made to ever check out the repo again.

The way it should be:

If a worker can't check out a git repo, or can't extract data from it, it should keep retrying until the situ

starcli
hedyhli
hedyhli commented Aug 19, 2020

The latest usage gif was outdated and since then there were new features and bug fixes. We should provide a new, up-to-date when to show the full features.

Requirements:

  • Shouldn’t be too slow, it is recommended that it is sped up, but users should see clearly what is happening
  • No need to show all the features, but show as much as possible
  • It should be run like a user who downloaded
fabiocorneti
fabiocorneti commented Oct 7, 2020

Hello,
recently we noticed that when commenting on an issue @Mergifyio backport branch-xx will create the PR even in presence of conflicts.

Is it possible to change the default behaviour to avoid creating the PR if there are conflicts in the configuration file?
Or we'll have to always add --ignore-conflicts=false manually?

Looking at the documentation we can't find a way to set default

Created by Chris Wanstrath, PJ Hyett, Tom Preston-Werner, and Scott Chacon

Released April 10, 2008

Organization
github
Website
github.com
Wikipedia
Wikipedia

Related Topics

git