000000-dev → dev - Githubissues

wpsharks / alert-box-shortcode

Alert Box Shortcode for WordPress by WP Sharks™.

https://wpsharks.com/

GNU General Public License v3.0

0 stars 0 forks source link

Closed raamdev closed 8 years ago

raamdev commented 8 years ago

We need to rename the 000000-dev branch to dev as outlined in https://github.com/websharks/phings/issues/124. However, we need to wait until we have no open Pull Requests in this repo, as those will get deleted when the renaming occurs.

kristineds commented 8 years ago

@raamdev I went ahead and renamed the 000000-dev to dev per @jaswsinc's instructions here. https://github.com/websharks/alert-box-shortcode/pull/6#issuecomment-242684226

raamdev commented 8 years ago

@kristineds Awesome. Thanks!