godot/misc/scripts/compare_extension_api.py

#!/usr/bin/env python
# -*- coding: utf-8 -*-

import sys

# TODO:
# Add a process that compares the original godot-cpp/godot-headers/extension_api.json with the new extension_api.json (both passed as arguments) and reports any API calls that have been removed.
# If we only have additions or no changes to the file, we pass
# For now we deem this too early because the API isn't stable enough yet.

sys.exit(0)