doc: Don't download external resources for PRs

abhinav / git-spice

Manage stacked Git branches

https://abhinav.github.io/git-spice/

GNU General Public License v3.0

220 stars 11 forks source link

Closed abhinav closed 1 month ago

abhinav commented 1 month ago

The privacy plugin downloads external resources (like fonts). This is not necessary for PRs as these builds are not published.

abhinav commented 1 month ago

This change is part of the following stack:

_{Change managed by git-spice.}