Examples: query, "exact match", wildcard*, wild?ard, wild*rd
Fuzzy search: cake~ (finds cakes, bake)
Term boost: "red velvet"^4, chocolate^2
Field grouping: tags:(+work -"fun-stuff")
Escaping: Escape characters +-&|!(){}[]^"~*?:\ with \, e.g. \+
Range search: properties.timestamp:[1587729413488 TO *] (inclusive), properties.title:{A TO Z}(excluding A and Z)
Combinations: chocolate AND vanilla, chocolate OR vanilla, (chocolate OR vanilla) NOT "vanilla pudding"
Field search: properties.title:"The Title" AND text
Answered
I Have Noticed That For Some People The Repository Discovery Stores Github Repo In The Form:

I have noticed that for some people the repository discovery stores github repo in the form: https://github.com/ ... while for others git@github.com:...
Interestingly in the former case the ssh config is ignored and cloning repository breaks on the worker (it does not know which ssh key to use apparently), while in the latter case everything works smoothly. Did you see this before?

  
  
Posted one year ago
Votes Newest

Answers 5


Hi UpsetTurkey67

repository discovery stores github repo in the form:

...

while for others

git@github.com:...

Yes that depends on how they locally cloned the repo (via SSH or user/pass/token)

Interestingly in the former case the ssh config is ignored and cloning repository breaks on the worker

If you have passed git user/pass to the agent it should use them not SSH, how did you configure the agent ?

  
  
Posted one year ago

ok, I solved the problem,
agent.force_git_ssh_protocol = truedid the trick

  
  
Posted one year ago

I did not configure user/pass for git

  
  
Posted one year ago

just put ssh config with the proper key marked

  
  
Posted one year ago

Exactly! nice 🎉

  
  
Posted one year ago
605 Views
5 Answers
one year ago
one year ago
Tags