Skip to content
Snippets Groups Projects

[Automatic] update links and the ci mostly

Merged Amir MOHAMMADI requested to merge p1 into master

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • André Anjos mentioned in commit 4de54d8f

    mentioned in commit 4de54d8f

  • André Anjos Status changed to merged

    Status changed to merged

  • @andre.anjos I'm confused, Tiago was against these changes. Why did you merge them?

  • I had 75 messages on my inbox and processed them sequentially. I only saw this in the end. In the future, just mark unsure MRs with WIP:. MRs which are not marked this way should be merged with everything conforms. As a side note, it would have been helpful to discuss this massive update beforehand through the mailing list. It would have saved you a lot of work. I'll ignore all the other MRs related to this and let you fix them one way or the other.

Please register or sign in to reply
Loading