Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla

[josef-widder]

This fixes is a typo (transcription error from the paper).

[ahelwer]

Thanks! You only need to add DCO signoff on your commit.

[josef-widder]

Thanks!

I followed the instructions here but fail on the last step.

» git push --force-with-lease origin patch-2
ERROR: Permission to tlaplus/Examples.git denied to josef-widder.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

not sure what to do... (and sorry for the noise!)

[lemmy]

See listing on righthand column on page 454 of https://lamport.azurewebsites.net/pubs/bakery.pdf

[ahelwer]

@josef-widder are you sure you're trying to push to your own fork remote and not this repository?

[lemmy]

@josef-widder It should not be origin, but the name of your own fork (likely josef-widder), i.e., git push --force-with-lease josef-widder patch-2

[josef-widder]

All checks are passing now. Thanks for your help and again sorry for all the noise for fixing just one character ;-)