Release latest changes to production

.github/workflows/build.yml

@@ -10,15 +10,6 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - name: Log current branches and repositories
-        env:
-          REPO_FULL_NAME: ${{ github.event.pull_request.head.repo.full_name }}
-        run: |
-          echo "Current ref: $GITHUB_REF"
-          echo "Base ref: $GITHUB_BASE_REF"
-          echo "Head ref: $GITHUB_HEAD_REF"
-          echo "Repository: $GITHUB_REPOSITORY"
-          echo "Head repository: $REPO_FULL_NAME"
       - name: Only allow pull requests based on master from the develop branch of the current repository
         if: ${{ github.base_ref == 'master' && !(github.head_ref == 'develop' && github.event.pull_request.head.repo.full_name == github.repository) }}
         run: |

documentation/asciidoc/computers/camera/streaming.adoc

@@ -57,6 +57,13 @@ To use VLC to stream video over RTSP using a Raspberry Pi as a server, use the f
 $ rpicam-vid -t 0 --inline -o - | cvlc stream:///dev/stdin --sout '#rtp{sdp=rtsp://:8554/stream1}' :demux=h264
 ----
 
+For the best performance on Raspberry Pi 5, use the following command instead, which adds libav to force the H264 format:
+
+[source,console]
+----
+$ rpicam-vid -t 0 --inline --libav-format h264 -o - | cvlc stream:///dev/stdin --sout '#rtp{sdp=rtsp://:8554/stream1}' :demux=h264
+----
+
 To view video streamed over RTSP using a Raspberry Pi as a client, use the following command:
 
 [source,console]