Skip to content

Commit

Permalink
[move] Change copybara to sync with move-on-aptos
Browse files Browse the repository at this point in the history
  • Loading branch information
georgemitenkov committed Dec 3, 2024
1 parent 4815045 commit 522ebdb
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions third_party/copy.bara.sky
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
moveUrl = "https://github.com/move-language/move.git"
moveUrl = "https://github.com/move-language/move-on-aptos.git"
aptosUrl = "https://github.com/aptos-labs/aptos-core.git"

# Workflow to pull from Move to Aptos. This creates a draft PR at the fixed branch `from_move`
Expand All @@ -7,7 +7,7 @@ core.workflow(
name = "pull_move",
origin = git.github_origin(
url = moveUrl,
ref = "aptos-main",
ref = "main",
),
destination = git.destination(
url = "NOT_SET", # use --git-destination-url to set this
Expand All @@ -33,7 +33,7 @@ core.workflow(
),
destination = git.destination(
url = "NOT_SET", # use --git-destination-url to set this
fetch = "aptos-main",
fetch = "main",
push = "to_move",
integrates = [],
),
Expand All @@ -55,7 +55,7 @@ core.workflow(
),
destination = git.github_destination(
url = moveUrl,
push = "aptos-main",
push = "main",
),
mode = "ITERATIVE",
origin_files = glob(["third_party/move/**"]),
Expand Down

0 comments on commit 522ebdb

Please sign in to comment.