Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in
H
hal
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 0
    • Issues 0
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Przemyslaw Kaminski
  • hal
  • Branches

  • Overview
  • Active
  • Stale
  • All
  • Sort by
  • Name
  • Oldest updated
  • Last updated
  • some-hal-refactoring
    b99b9e56 · Use fq for lang filter · Mar 18, 2024
    0
    2
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • conduit-fetch-with-cursor
    5edaca5c · Fetch using cursors · Mar 15, 2024
    0
    1
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    bfa9069b · Make it compile cleanly on GHC 8.10.7 and GHC 9.4.7 · Dec 11, 2023
    Download source code
    zip tar.gz tar.bz2 tar
  • refactoring merged
    25a1e955 · Merge branch 'master' into refactoring · Jul 26, 2023
    1
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • hal-fixes merged
    ac1bec26 · Bring back docid parser, better app cmdline · Dec 27, 2022
    10
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • add-structure-type merged
    a8799bb2 · Add 'generateRequestByStructID' to make request filtered by structId · Nov 12, 2019
    26
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • dev merged
    000e2322 · Merge branch 'patch-2' into 'dev' · Sep 16, 2019
    29
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • servant-update merged
    dc9c429b · add abstract, source, date, ... · Aug 27, 2019
    37
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • patch-1 merged
    7221dafc · Update README.md · Aug 26, 2019
    39
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • new-client-typing-system merged
    9cf6a078 · [FIX] missing import. · Jun 05, 2019
    42
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • fix#1 merged
    cc773005 · fix#1 · May 20, 2019
    46
    0
    Compare
    Download source code
    zip tar.gz tar.bz2 tar

Delete protected branch '[branch name]'?

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

This branch hasn’t been merged into master . 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