Agreed. All examples of pulling/pushing branches should use the actual urls and branch names, where it's applicable. It makes it much easier to understand.