Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump github/super-linter from 5 to 6 #192

Merged
merged 5 commits into from
Apr 26, 2024
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
8 changes: 4 additions & 4 deletions .github/CODE_OF_CONDUCT.md
Original file line number Diff line number Diff line change
Expand Up @@ -68,17 +68,17 @@ offensive, or harmful.

This Code of Conduct applies both within project spaces and in public spaces
when an individual is representing the project or its community. Examples of
representing a project or community include using an official project e-mail
representing a project or community include using an official project email
address, posting via an official social media account, or acting as an appointed
representative at an online or offline event. Representation of a project may be
further defined and clarified by project maintainers.

## Enforcement

Instances of abusive, harassing, or otherwise unacceptable behavior may be
reported by contacting the EGI Foundation team at [email protected]. The team will
review and investigate all complaints, and will respond in a way that it deems
appropriate to the circumstances. The team is obligated to maintain
reported by contacting the [EGI Foundation team](mailto:[email protected]). The
team will review and investigate all complaints, and will respond in a way that
it deems appropriate to the circumstances. The team is obligated to maintain
confidentiality with regard to the reporter of an incident. Further details of
specific enforcement policies may be posted separately.

Expand Down
9 changes: 7 additions & 2 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
---
name: Lint

on: [push, pull_request]
on: pull_request

jobs:
super-lint:
Expand All @@ -12,10 +12,13 @@ jobs:
# Checks out a copy of your repository on the ubuntu-latest machine
- name: Checkout code
uses: actions/checkout@v4
with:
# Full git history needed to get proper list of changed files
fetch-depth: 0

# Runs the Super-Linter action
- name: Run Super-Linter
uses: github/super-linter@v5
uses: github/super-linter@v6
env:
DEFAULT_BRANCH: master
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Expand All @@ -25,3 +28,5 @@ jobs:
VALIDATE_JSCPD: false
# disable it for now
VALIDATE_DOCKERFILE_HADOLINT: false
# disable this as well
VALIDATE_CHECKOV: false
18 changes: 9 additions & 9 deletions webdav-sidecar/mount.sh
Original file line number Diff line number Diff line change
Expand Up @@ -8,23 +8,23 @@ JOVYAN_UID=${JOVYAN_UID:-1000}
JOVYAN_GRP=${JOVYAN_GRP:-100}

if [ ! -d "$MOUNT_PATH" ]; then
mkdir -p "$MOUNT_PATH"
chown "$JOVYAN_UID:$JOVYAN_GRP" "$MOUNT_PATH"
mkdir -p "$MOUNT_PATH"
chown "$JOVYAN_UID:$JOVYAN_GRP" "$MOUNT_PATH"
fi

# Configure secrets for the server
echo "$WEBDAV_URL $WEBDAV_USER $WEBDAV_PWD" >> /etc/davfs2/secrets
echo "$WEBDAV_URL $WEBDAV_USER $WEBDAV_PWD" >>/etc/davfs2/secrets
mount -t davfs "$WEBDAV_URL" "$MOUNT_PATH" -o "uid=$JOVYAN_UID,gid=$JOVYAN_GRP,dir_mode=755,file_mode=755"

# wait to be killed
do_umount () {
umount -l "$MOUNT_PATH"
exit $?
do_umount() {
umount -l "$MOUNT_PATH"
exit $?
}

trap "do_umount" INT
trap "do_umount" TERM
trap "do_umount" TERM

while true ; do
sleep 30
while true; do
sleep 30
done