AppImage / AppImage/appimage.github.io

Populate FILES variable if PR contains one file in data/

Offen
#2,595 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Shell
Sterne
374
Forks
769
Ø Merge
4 T. 10 Std.
Gemergte PRs (30 T.)
8

Beschreibung

Populate `FILES` variable if PR contains one file in `data/`.

Currently often in PRs the `FILES` variable is empty when an existing PR gets updated by pressing the "Update branch" button or using Mergify, e.g., here for f578718:
https://github.com/AppImage/appimage.github.io/pull/2541

Log:
https://github.com/AppImage/appimage.github.io/runs/3149918916

In those situations, I manually have to go into the file in `data/` in the PR, make a trivial edit (e.g., add a line with a `#` in it) to trigger another test run where the changed file then is picked up in the `FILES` variable.

So we would somehow need to look at the PR and find out if file(s) in `data/` have been affected by the PR, and populate the `FILES` variable with them.

@andy5995 do you have an idea how to do that?

Without having this, using Mergify (which automates pressing the "Update branch" button) is of no actual use to us.

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.