Skip to content
#

deps

Here are 54 public repositories matching this topic...

m-cat
m-cat commented Dec 1, 2019

Optional dependencies should not be treated as a "dependency" kind, of which there are only three -- regular, build, and dev. "Optional deps" should instead be handled as a boolean flag, which is what cargo does. A dependency can be both a build dependency and optional simultaneously, but currently cargo-deps will erase one of these.

Optional dependencies can be displayed with a dashed line.

corral
SeanTAllen
SeanTAllen commented Mar 13, 2021

See below:

~/tmp/foo ➜ corral add github.com/seantallen/lori.git --revision 0.0.1
~/tmp/foo ➜ cat corral.json
{
  "packages": [],
  "deps": [
    {
      "locator": "github.com/seantallen/lori.git",
      "version": ""
    }
  ],
  "info": {
    "description": "",
    "homepage": "",
    "license": "",
    "documentation_url": "",
    "version": "",
    "name": ""
  }
}
davegaeddert
davegaeddert commented Feb 9, 2021

A new setting can be added called github_automerge. This would enable (or disable) the auto-merge option on a PR after it is created (or updated). At this point, it would need to use the GraphQL API because auto-merge isn't a part of the REST API yet:
https://docs.github.com/en/graphql/reference/mutations#enablepullrequestautomerge

The end of this function would be the place to start:
https

Improve this page

Add a description, image, and links to the deps topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the deps topic, visit your repo's landing page and select "manage topics."

Learn more