Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 18 additions & 2 deletions .github/workflows/validate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,24 @@ jobs:

- name: Reject manual dist edits in PR
run: |
git fetch --no-tags --prune --depth=1 origin "${{ github.base_ref }}"
CHANGED="$(git diff --name-only "origin/${{ github.base_ref }}"...HEAD)"
BASE_SHA="${{ github.event.pull_request.base.sha }}"
HEAD_SHA="${{ github.event.pull_request.head.sha }}"

# Try to make both SHAs available locally; base is always in origin,
# head may come from a fork and may already be present via checkout.
git fetch --no-tags --prune --depth=1 origin "${BASE_SHA}" || true
git fetch --no-tags --prune --depth=1 origin "${HEAD_SHA}" || true

if git cat-file -e "${BASE_SHA}^{commit}" 2>/dev/null && git cat-file -e "${HEAD_SHA}^{commit}" 2>/dev/null; then
CHANGED="$(git diff --name-only "${BASE_SHA}" "${HEAD_SHA}")"
elif git rev-parse HEAD^1 >/dev/null 2>&1 && git rev-parse HEAD^2 >/dev/null 2>&1; then
# Fallback for PR merge refs checked out by actions/checkout.
CHANGED="$(git diff --name-only HEAD^1 HEAD^2)"
else
echo "Unable to compute changed files for this pull request."
exit 1
fi

echo "$CHANGED"
if echo "$CHANGED" | grep -q '^dist/'; then
echo "Do not edit dist/ in pull requests."
Expand Down
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
![](assets/maf.png)
# Machine Authority Failure Taxonomy (MAF)

MAF is a framework for evaluating machine-authority risk in infrastructure.
Expand Down
Binary file added assets/maf.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading