This repository has been archived by the owner on Aug 3, 2023. It is now read-only.

Update URL of policies.js #4

Open

dryewo wants to merge 1 commit into rvedotrc:master from dryewo:patch-2

dryewo commented Oct 17, 2019

Thanks for maintaining this!
I noticed that the automatically updated all-actions.txt didn't change since 2018.

Changes:

use up-to-date URL of policies.js
also explicitly make make use bash (it uses sh on my Ubuntu 18, and make update fails because -o pipefail is not available)

URL taken from the policygen page:

Should I also add the all-actions.txt or will it be automatically generated after this PR is merged?

Thanks!


          Update URL of policies.js

447943a

also make make use bash

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet