Fix video URL in README

[bryanhonof]

Fixes #241

[aherrmann]

@bryanhonof the top-level README.md is generated. You need to edit the docstring here instead.

[bryanhonof]

@aherrmann I had to make the changes in nixpkgs/nixpkgs.bzl. Is this by any chance duplicate functionality?

[aherrmann]

I had to make the changes in nixpkgs/nixpkgs.bzl. Is this by any chance duplicate functionality?

Ah, good catch, I missed that. One generates the top-level README and the other generates the README for the core module. You can take a look at #181 and related PRs for context.

Thanks for the fix. You still have to run bazel run //docs:update-README.md to update the README and check-in the result.

[bryanhonof]

My manual edits seem to be machine-like :).

rules_nixpkgs on  change-video-url 
❯ bazel run //docs:update-README.md
INFO: Analyzed target //docs:update-README.md (0 packages loaded, 0 targets configured).
INFO: Found 1 target...
Target //docs:update-README.md up-to-date:
  bazel-bin/docs/update-README.md
INFO: Elapsed time: 0.041s, Critical Path: 0.00s
INFO: 1 process: 1 internal.
INFO: Build completed successfully, 1 total action
INFO: Build completed successfully, 1 total action

rules_nixpkgs on  change-video-url 
❯ git status
On branch change-video-url
nothing to commit, working tree clean

[aherrmann]

Hmm, CI is still unhappy about something

//docs:check-README.md                                                   FAILED in 0.0s

[bryanhonof]

@aherrmann Also needed to run the action in core/. CI's happy now :).

[aherrmann]

Thank you!