Skip to content
This repository was archived by the owner on Nov 16, 2023. It is now read-only.
This repository was archived by the owner on Nov 16, 2023. It is now read-only.

Merge some stalled/closed PRs in Palantir #3

@ccordoba12

Description

@ccordoba12

@steff456, I'd like you to merge here (but preserving authorship) the following PR's from the Palantir repo:


Notes:

  1. Please restore first the race between Rope and Jedi. After that we'll release the first version of our fork and then you'll proceed with this work.
  2. Next to each PR I mention how important I think it is. So please merge them in that order (critical -> important -> low).

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions