Если devel является вашей локальной ветвью, то этого достаточно:
git push origin devel
Ваш пример не работает, потому что вы пытаетесь перенести ветку «origin» в удаленный репозиторий («origin»), но у вас нет ветки с именем «origin» (первый источник здесь) в локальном репозитории.
Вы можете запустить:
git push origin devel:refs/heads/devel
# ^ ^
# | +---- it's ref for remote branch to create
# +---------- it's local branch name
Эта вторая форма предпочтительна, если имя вашей локальной ветви должно отличаться от имени удаленной ветви.