Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Sign in
M
mock-turtle
  • Project
    • Project
    • Details
    • Activity
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • image/svg+xml
    Discourse
    • Discourse
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Commits
  • hdl-core-lib
  • mock-turtle
  • Branches

  • Overview
  • Active
  • Stale
  • All

Stale branches

  • develop default
    8d72ad93 · Merge branch 'feature/build' into develop · Feb 07, 2019
    • Source code
    • Download zip
    • Download tar.gz
    • Download tar.bz2
    • Download tar
  • proposed_master
    6beecf5a · sim: expand MT simulation SV classes · Feb 05, 2019
    10
    8
    Compare
    • Source code
    • Download zip
    • Download tar.gz
    • Download tar.bz2
    • Download tar
  • master merged
    00ec80ed · Merge remote-tracking branch 'ohwr/master' · Feb 04, 2019
    7
    0
    Compare
    • Source code
    • Download zip
    • Download tar.gz
    • Download tar.bz2
    • Download tar

Delete protected branch '[branch name]'?

You’re about to permanently delete the protected branch [branch name].

This branch hasn’t been merged into develop . To avoid data loss, consider merging this branch before deleting it.

Once you confirm and press Delete protected branch , it cannot be undone or recovered.

To confirm, type [branch name] :

Delete protected branch