Opened 7 years ago

Closed 7 years ago

#16482 closed enhancement (fixed)

Update developer manual for git's push-url feature

Reported by: emassop Owned by:
Priority: minor Milestone: sage-6.3
Component: misc Keywords:
Cc: vbraun Merged in:
Authors: Erik Massop Reviewers: Volker Braun
Report Upstream: N/A Work issues:
Branch: 0694c13 (Commits, GitHub, GitLab) Commit: 0694c1331af1ed5099f68556aa9fce07de7d2e64
Dependencies: Stopgaps:

Status badges

Change History (4)

comment:1 Changed 7 years ago by emassop

  • Branch set to u/emassop/git_push_url

comment:2 Changed 7 years ago by emassop

  • Authors set to emassop
  • Cc vbraun added
  • Commit set to 0694c1331af1ed5099f68556aa9fce07de7d2e64
  • Status changed from new to needs_review

comment:3 Changed 7 years ago by vbraun

  • Authors changed from emassop to Erik Massop
  • Reviewers set to Volker Braun
  • Status changed from needs_review to positive_review

lgtm.

Author name is supposed to be your real name, not your trac account name.

comment:4 Changed 7 years ago by vbraun

  • Branch changed from u/emassop/git_push_url to 0694c1331af1ed5099f68556aa9fce07de7d2e64
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.