1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
# Main github repository to fetch from.
# This is going to be our base, into which we merge patches and pull requests.
#
# Examples
#
# repo = "helix-editor/helix"
# repo = "microsoft/vscode"
= "helix-editor/helix"
# The main repository's branch
#
# Examples
#
# remote-branch = "master"
# remote-branch = "main"
= "main"
# Branch which patchy will use to do all of its work on
#
# Examples
#
# local-branch = "some-branch-1234"
= "patchy"
# list of pull requests numbers which you would like to merge into the repository and branch you have specified previously
#
# Examples
#
# pull-requests = [ "12254", "10000", "8145"]
= []
# Optional: A list of patches to apply
#
# A patch allows you to do specify custom commits and not have to rely on there being a pull request for that change
#
# You can generate patches from a commit with: `patchy gen-patch <commit-id>`. See `patchy --help` for more info.
#
# Examples
#
# With the below config, patchcy will look for the following files:
# - `.patchy/my-patch123.patch`
# - `.patchy/another-patch.patch`
# - `.patchy/1234.patch`
#
# patches = [ "my-patch123", "another-patch", "1234" ]
# patches = []