christianhidber / easyagents

Reinforcement Learning for Practitioners.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

can dev branch be deleted ?

christianhidber opened this issue · comments

name "dev" branch is misleading for "v1", use v1 instead.

Is the dev branch still needed, ie can it be deleted after the creation of a new v1 branch ?