MarkUs Blog

MarkUs Developers Blog About Their Project

Archive for the ‘issues’ tag

Punchlines – ECN PAPPL 2013 OptimMarkus – 2013-03-20

without comments

Claire:

Gaëtan:

  • submitted pull request to add unit tests for issue #559
  • worked on issue #230: suggested UI design, dove into code

 

Written by G_Girin

March 20th, 2013 at 8:51 am

Posted in Developer Essentials

Tagged with , ,

Punchlines – ECN PAPPL 2013 OptimMarkus – 2013-03-11

without comments

Claire

Gaëtan

Written by G_Girin

March 11th, 2013 at 4:18 pm

Posted in Developer Essentials

Tagged with , ,

Punchlines – ECN PAPPL 2013 OptimMarkus – 2013-02-18

without comments

Claire

  • was assigned to issue #1007
  • worked on issue #1007: examined existing code in order to find the methods needed for this feature

Gaëtan

  • reproduced issue #559 and added a more detailed description – as a comment
  • got started developing to implement the required feature
  • learned how to use the debugger

 

Written by G_Girin

February 18th, 2013 at 4:40 pm

Posted in Developer Essentials

Tagged with , ,

Punchlines – ECN PAPPL 2013 OptimMarkus – 2013-02-11

without comments

Claire

Gaëtan

 

Written by G_Girin

February 12th, 2013 at 12:25 pm

Posted in Developer Essentials

Tagged with , ,

Closing GitHub Issues

without comments

We’ve just moved to GitHub, and one of the main differences from Dr. Project is that we only allow a few core members to push to the official MarkUs repository.

A side-effect:  only users with push permissions on the MarkUs repository can close issues.

So how do developers close issues if they don’t have permission to do it?  GitHub actually gives us a neat mechanism to do this.  Here’s the workflow:

  1. Find an an issue on GitHub, and work on it on your fork.
  2. Once your work is done, commit to your fork with the commit message containing “closes #<issue number>”.  Without the <> symbols.
  3. Make a pull request
  4. Once the MarkUs core developers merge your patch in, GitHub will automatically close the issue.

Easy as pie.

More information here.

Written by m_conley

October 15th, 2010 at 2:59 pm

Posted in Developer Essentials

Tagged with , , ,