Commit 93abf3e
committed
Set
We're about to make the config required, and not implicit, therefore it
makes sense to start with the project options for `gitgitgadget/git`
itself.
So let's set `project` explicitly in `defaultConfig` and remove the
implicit configuration of the `gitgitgadget/git` project from
`ProjectOptions.get()`.
There is a slight quirk here, as the Git GUI special-casing is a bit
magic: based on the presence of a specific file at the top-level of
`HEAD`'s root tree, it is determined that this is a Git GUI PR rather
than a git/git PR.
Now, we _could_ introduce some new attribute of the `projectInfo` type
that would allow the same kind of trick for other projects. As per
gitgitgadget#1988 (comment)
though, no other project using GitGitGadget may ever need that, so we'll
still hard-code it for `gitgitgadget/git` (and `git/git`) specifically.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>project in the defaultConfig
1 parent d6a5e54 commit 93abf3e
2 files changed
+14
-9
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
32 | 40 | | |
33 | 41 | | |
34 | 42 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
22 | 22 | | |
23 | 23 | | |
24 | 24 | | |
25 | | - | |
26 | | - | |
27 | | - | |
28 | | - | |
29 | | - | |
30 | | - | |
31 | | - | |
32 | | - | |
33 | | - | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
34 | 31 | | |
35 | 32 | | |
36 | 33 | | |
| |||
0 commit comments