#5412 strip .git suffix when migrating git repos

v1.0.0
closed
nobody
General
2015-08-20
2012-12-05
No

http://csound.git.sourceforge.net/git/gitweb-index.cgi migrated to repos like https://sourceforge.net/p/csound/csound5-git/ We should add a case to strip the git suffix, so it doesn't end up in the tool mount point

Related

Tickets: #5412

Discussion

  • Dave Brondsema

    Dave Brondsema - 2012-12-06
    • labels: migration --> migration, 42cc
     
  • Igor Bondarenko

    Igor Bondarenko - 2012-12-07

    Created #233: [#5412] strip .git suffix when migrating git repos (1cp)

     

    Related

    Tickets: #5412

  • Igor Bondarenko

    Igor Bondarenko - 2012-12-07
    • status: open --> in-progress
     
  • Igor Bondarenko

    Igor Bondarenko - 2012-12-12
    • status: in-progress --> code-review
     
  • Igor Bondarenko

    Igor Bondarenko - 2012-12-12

    Closed #233.

    forge-classic:je/42cc_5412

     
  • Dave Brondsema

    Dave Brondsema - 2012-12-13
    • qa: Dave Brondsema
     
  • Dave Brondsema

    Dave Brondsema - 2012-12-13
    • status: code-review --> closed
    • milestone: forge-jan-11 --> forge-dec-14