Clayton Craft
30e0f6d779
Sometimes we just want to merge when deviceinfo is failing linting (e.g. when moving a device pkg from a higher category to a lower one) This should be used sparingly... Signed-off-by: Clayton Craft <craftyguy@postmarketos.org> Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7311>
21 lines
669 B
Python
Executable File
21 lines
669 B
Python
Executable File
#!/usr/bin/env python3
|
|
# Copyright 2025 Stefan Hansson
|
|
# SPDX-License-Identifier: GPL-3.0-or-later
|
|
|
|
import common
|
|
import os.path
|
|
import subprocess
|
|
import sys
|
|
|
|
if __name__ == "__main__":
|
|
if common.commit_message_has_string("[ci:skip-dint]"):
|
|
print("WARNING: not linting deviceinfo files ([ci:skip-dint])")
|
|
exit(0)
|
|
deviceinfo_files = {file for file in common.get_changed_files(removed=False)
|
|
if os.path.basename(file) == "deviceinfo"}
|
|
|
|
try:
|
|
subprocess.run(["dint", "check", *deviceinfo_files], text=True, check=True)
|
|
except subprocess.CalledProcessError as exception:
|
|
sys.exit(exception.returncode)
|