element-web/scripts
Richard van der Hoff 192e6f6c3d
Fix PR lookup for fetchdep.sh ()
Context: `fetchdep.sh` attempts to check out a github repository based on the
details in a pull request. To do this, it needs to know how to find the pull
request. So, the github workflows attempt to set environment variables to tell
it. Unfortunately, they currently disagree about what the names of the
environment variables should be.

This appears to have been introduced by .

To simplify matters, we may as well have the script use `${GITHUB_REPOSITORY}`
directly, and remove te unused `REPOSITORY` env var from the workflows.
2023-05-25 13:50:17 +00:00
..
ci Use frozen lockfile instead of pure lockfile on yarn install () 2023-03-31 15:06:08 +00:00
check-i18n.pl fix up Can't connect to HS i18n with _tJsx 2017-06-01 01:17:39 +01:00
copy-i18n.py Don't put in spurious newline 2017-06-13 11:54:28 +01:00
fetchdep.sh Fix PR lookup for fetchdep.sh () 2023-05-25 13:50:17 +00:00
fix-i18n.pl fix fullstops 2017-06-08 15:14:46 +01:00
fixup-imports.pl point imports at the new locations 2018-04-13 00:43:44 +01:00
make-react-component.js Remove Enzyme tests in favour of React testing-library () 2023-03-06 12:13:17 +00:00