What is the difference between dev and origin/dev when you push git?

The "origin/dev" branch is the "remote tracking branch" for the remote "dev" branch called "origin".In contrast, the "dev" branch is a local branch.

For more information, the Pro Git commentary is easy to understand: Git branch functionality - remote branch