Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
F
frama-c
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 14
    • Issues 14
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • Operations
    • Operations
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
  • pub
  • frama-c
  • Merge Requests
  • !2

Merged
Opened Apr 02, 2020 by Andre Maroneze@maroneze💬Maintainer

Check out, review, and merge locally

Step 1. Fetch and check out the branch for this merge request

git fetch "https://git.frama-c.com/maroneze/frama-c.git" "fix/gitlab/issue-template"
git checkout -b "maroneze/frama-c-fix/gitlab/issue-template" FETCH_HEAD

Step 2. Review the changes locally

Step 3. Merge the branch and fix any conflicts that come up

git fetch origin
git checkout "master"
git merge --no-ff "maroneze/frama-c-fix/gitlab/issue-template"

Step 4. Push the result of the merge to GitLab

git push origin "master"

Note that pushing to GitLab requires write access to this repository.

Tip: You can also checkout merge requests locally by following these guidelines.

[gitlab] Indicate that the old BTS is deprecated

  • Overview 0
  • Commits 1
  • Changes 1

Fixes #1.

Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
Reference: pub/frama-c!2
Source branch: fix/gitlab/issue-template

Revert this merge request

This will create a new commit in order to revert the existing changes.

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.

Cherry-pick this merge request

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.